package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M = Model
module T = Michelson
module MapString : sig ... end
exception Anomaly of string
type error_desc =
  1. | FieldNotFoundFor of string * string
  2. | UnsupportedTerm of string
  3. | StackEmptyDec
  4. | StackIdNotFound of string * string list
  5. | NoConcreteImplementationFor of string
  6. | 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 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 to_ir : M.model -> T.ir
val map_implem : (Ident.ident * T.code list) list
val concrete_michelson : Archetype__Michelson.builtin -> T.code
type env = {
  1. vars : Ident.ident list;
  2. fail : bool;
}
val pp_env : Ppx_deriving_runtime.Format.formatter -> env -> Ppx_deriving_runtime.unit
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 to_michelson : T.ir -> T.michelson