archetype 1.4.0 · OCaml Package

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 =

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 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 = {

}

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 map_implem : (string * T.code list) list

val concrete_michelson : Archetype__Michelson.builtin -> T.code

type env = {

}

val pp_env : 
  Ppx_deriving_runtime.Format.formatter ->
  env ->
  Ppx_deriving_runtime.unit

val show_env : env -> Ppx_deriving_runtime.string

val mk_env : ?vars:Ident.ident list -> unit -> env

val fail_env : env -> env

val inc_env : env -> env

val dec_env : env -> env

val add_var_env : env -> Ident.ident -> env

val get_sp_for_id : env -> Tools.String.t -> int

val head_env : env -> Tools.String.t -> env

val print_env : ?str:string -> env -> 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

package archetype