package archetype

  1. Overview
  2. Docs
module M = Model
module T = Michelson
module MapString : sig ... end
exception Anomaly of string
val complete_tree_entrypoints : bool
val with_macro : bool
type error_desc =
  1. | FieldNotFoundFor of string * string
  2. | UnsupportedTerm of string
  3. | StackEmptyDec
  4. | StackIdNotFound of string * string list
  5. | StackIdNotPopulated of string * string list
  6. | NoConcreteImplementationFor of string
  7. | TODO
val show_error_desc : error_desc -> Ppx_deriving_runtime.string
val pp_error_desc : Stdlib.Format.formatter -> error_desc -> unit
val emit_error : error_desc -> 'a
val is_rat : (M.ntype * 'a) -> bool
val is_ticket_type : M.model -> M.type_ -> bool
val get_fun_name : Archetype__Michelson.builtin -> Ident.ident
val operations : string
val fun_result : string
val mk_fannot : string -> string
val rar : T.type_ -> T.type_
type env_ir = {
  1. function_p : (Ident.ident * (Ident.ident * T.type_) list) option;
}
val remove_annot : T.type_ -> T.type_node T.with_annot
val shape_entrypoints : ('a -> 'a -> 'a) -> 'a -> 'a list -> 'a
val to_one_gen : 'a -> ('a -> 'a -> 'a) -> 'a list -> 'a
val to_one_type_or : T.type_ list -> T.type_
val to_one_nary_gen : 'a -> ('a list -> 'a) -> 'a list -> 'a
val to_one_type : T.type_ list -> T.type_
val to_one_data : T.data list -> T.data
val to_type : M.model -> ?annotation:Ident.ident -> M.type_ -> T.type_
val to_simple_data : M.model -> M.mterm -> T.data option
val to_ir : M.model -> T.ir
val data_map_bytes_nat : T.data list
val data_map_nat_bytes : T.data list
val map_implem : (string * T.code list) list
val concrete_michelson : T.builtin -> T.code
type stack_item = {
  1. id : string;
  2. populated : bool;
}
val pp_stack_item : Ppx_deriving_runtime.Format.formatter -> stack_item -> Ppx_deriving_runtime.unit
val show_stack_item : stack_item -> Ppx_deriving_runtime.string
type var_location =
  1. | VLstorage
  2. | VLargument
  3. | VLlocal
val pp_var_location : Ppx_deriving_runtime.Format.formatter -> var_location -> Ppx_deriving_runtime.unit
val show_var_location : var_location -> Ppx_deriving_runtime.string
type env = {
  1. stack : stack_item list;
  2. vars : (string * var_location) list;
  3. fail : bool;
}
val pp_env : Ppx_deriving_runtime.Format.formatter -> env -> Ppx_deriving_runtime.unit
val process_debug : ?decl_bound:T.decl_bound -> ?loc:Location.t -> env -> T.debug option
val assign_last_seq_gen : (T.debug option -> T.debug option) -> T.code list -> T.code list
val assign_last_seq : T.debug option -> T.code list -> T.code list
val mk_env : ?stack:stack_item list -> ?vars:(string * var_location) list -> unit -> env
val fail_env : env -> env
val inc_env : env -> env
val dec_env : env -> env
val add_var_env : env -> string -> env
val get_sp_for_id : env -> Tools.String.t -> int
val index_of_id_in_env : env -> Tools.String.t -> int
val rm_var_env : env -> Tools.String.t -> env
val populate_env : env -> Tools.String.t -> env
val dig_env : env -> Tools.String.t -> env
val dug_env : env -> Tools.String.t -> env
val get_pos_stack_item : env -> Tools.String.t -> int * stack_item
val print_env : ?str:string -> env -> Ppx_deriving_runtime.unit
val print_code : ?str:string -> T.code -> Ppx_deriving_runtime.unit
val instruction_to_code : env -> T.instruction -> T.code * env
val process_data : T.data -> T.data
val build_view : (Ident.ident * T.type_ * T.data) list -> T.func -> T.view_struct
val to_michelson : T.ir -> T.michelson
val generate_offchain_view : T.ir -> T.offchain_view list
OCaml

Innovation. Community. Security.