78 lines
3.3 KiB
OCaml
78 lines
3.3 KiB
OCaml
module Typer : sig
|
|
open Trace
|
|
open Ast_typed
|
|
|
|
module Errors : sig
|
|
val wrong_param_number : string -> int -> 'a list -> unit -> error
|
|
val error_uncomparable_types : type_expression -> type_expression -> unit -> error
|
|
end
|
|
|
|
type type_result = type_expression
|
|
type typer = type_expression list -> type_expression option -> type_result result
|
|
|
|
(*
|
|
val typer'_0 : name -> (type_expression option -> type_expression result) -> typer'
|
|
*)
|
|
val typer_0 : string -> ( type_expression option -> type_expression result ) -> typer
|
|
(*
|
|
val typer'_1 : name -> (type_expression -> type_expression result) -> typer'
|
|
*)
|
|
val typer_1 : string -> (type_expression -> type_expression result) -> typer
|
|
(*
|
|
val typer'_1_opt : name -> (type_expression -> type_expression option -> type_expression result) -> typer'
|
|
*)
|
|
val typer_1_opt : string -> (type_expression -> type_expression option -> type_expression result) -> typer
|
|
(*
|
|
val typer'_2 : name -> (type_expression -> type_expression -> type_expression result) -> typer'
|
|
*)
|
|
val typer_2 : string -> (type_expression -> type_expression -> type_expression result) -> typer
|
|
val typer_2_opt : string -> (type_expression -> type_expression -> type_expression option -> type_expression result) -> typer
|
|
(*
|
|
val typer'_3 : name -> (type_expression -> type_expression -> type_expression -> type_expression result) -> typer'
|
|
*)
|
|
val typer_3 : string -> (type_expression -> type_expression -> type_expression -> type_expression result) -> typer
|
|
(*
|
|
val typer'_4 : name -> (type_expression -> type_expression -> type_expression -> type_expression -> type_expression result) -> typer'
|
|
*)
|
|
val typer_4 : string -> (type_expression -> type_expression -> type_expression -> type_expression -> type_expression result) -> typer
|
|
(*
|
|
val typer'_5 : name -> (type_expression -> type_expression -> type_expression -> type_expression -> type_expression -> type_expression result) -> typer'
|
|
*)
|
|
val typer_5 : string -> (type_expression -> type_expression -> type_expression -> type_expression -> type_expression -> type_expression result) -> typer
|
|
(*
|
|
val typer'_6 : name -> (type_expression -> type_expression -> type_expression -> type_expression -> type_expression -> type_expression -> type_expression result) -> typer'
|
|
*)
|
|
val typer_6 : string -> (type_expression -> type_expression -> type_expression -> type_expression -> type_expression -> type_expression -> type_expression result) -> typer
|
|
|
|
val constant' : string -> type_expression -> typer
|
|
|
|
val eq_1 : type_expression -> type_expression -> bool
|
|
val eq_2 : ( type_expression * type_expression ) -> type_expression -> bool
|
|
val assert_eq_1 : ?msg:string -> type_expression -> type_expression -> unit result
|
|
|
|
val comparator : string -> typer
|
|
val boolean_operator_2 : string -> typer
|
|
|
|
end
|
|
|
|
module Compiler : sig
|
|
open Tezos_utils.Michelson
|
|
|
|
type predicate =
|
|
| Constant of michelson
|
|
| Unary of michelson
|
|
| Binary of michelson
|
|
| Ternary of michelson
|
|
| Tetrary of michelson
|
|
| Pentary of michelson
|
|
| Hexary of michelson
|
|
val simple_constant : t -> predicate
|
|
val simple_unary : t -> predicate
|
|
val simple_binary : t -> predicate
|
|
val simple_ternary : t -> predicate
|
|
val simple_tetrary : t -> predicate
|
|
val simple_pentary : t -> predicate
|
|
val simple_hexary : t -> predicate
|
|
|
|
end
|