archetype 1.2.7 · OCaml Package

exception Compiler_error

exception E_arg

exception ArgError of string

exception Stop

exception Stop_error of int

val parse_error : int

val type_error : int

val model_error : int

val post_model_error : int

val gen_output_error : int

val other_error : int

val raise_if_error : int -> ('a -> 'b) -> 'a -> 'b

val extract_pt : ParseTree.archetype -> string

val output_pt : ParseTree.archetype -> Ppx_deriving_runtime.unit

val output_expr_pt : ParseTree.expr -> Ppx_deriving_runtime.unit

val output_tast : Ast.ast -> Ppx_deriving_runtime.unit

val output_tmdl : Model.model -> Ppx_deriving_runtime.unit

val output_mdl_mterm : Model.mterm -> Ppx_deriving_runtime.unit

val output_ir : Michelson.ir -> Ppx_deriving_runtime.unit

val output_dprogram : Michelson.dprogram -> Ppx_deriving_runtime.unit

val output_micheline : Michelson.micheline -> Ppx_deriving_runtime.unit

val output_michelson : Michelson.michelson -> Ppx_deriving_runtime.unit

val extract_data : Michelson.data -> string

val output_data : Michelson.data -> Ppx_deriving_runtime.unit

val extract_obj_micheline : Michelson.obj_micheline -> string

val output_obj_micheline : Michelson.obj_micheline -> Ppx_deriving_runtime.unit

val remove_newline : string -> string

val output : Model.model -> string

val type_ : ParseTree.archetype -> Ast.ast

val generate_target_pt : ParseTree.archetype -> ParseTree.archetype

val generate_model : Archetype.Gen_model.A.ast -> Archetype.Gen_model.M.model

val generate_storage : Model.model -> Model.model

val generate_api_storage : ?verif:bool -> Model.model -> Model.model

val generate_target : Model.model -> string

val compile_model : ParseTree.archetype -> Model.model

val parse : Core.from_input -> ParseTree.archetype

val compile : Core.from_input -> string

val compile_from_string : string -> string

val decompile : Core.from_input -> string

val decompile_from_string : string -> string

val process_expr : ?tinput:Core.from_input -> string -> string

val process_expr_type_from_string : ?tinput:string -> string -> string

val show_entries : string -> string

val get_parameters : string -> string

val print_version : unit -> 'a

package archetype