package archetype

  1. Overview
  2. Docs
module PT = ParseTree
module T = Michelson
exception TypeEntrypointNotFound of string
type error_desc =
  1. | TypeNotCompatible of T.type_ * PT.expr
val pp_error_desc : Core.Format.formatter -> error_desc -> unit
type error = Location.t * error_desc
val emit_error : (Location.t * error_desc) -> int -> 'a
val string_to_ttype : ?entrypoint:Tools.String.t -> string -> T.type_
val to_model_expr : PT.expr -> T.data
val extract_from_micheline : Tools.String.t -> T.obj_micheline -> T.obj_micheline
type eargs = {
  1. id : string;
  2. typ : string;
}
val eargs_to_yojson : eargs -> Yojson.Safe.t
val pp_eargs : Ppx_deriving_runtime.Format.formatter -> eargs -> Ppx_deriving_runtime.unit
type entry = {
  1. name : string;
  2. args : eargs list;
  3. typ : string;
}
val entry_to_yojson : entry -> Yojson.Safe.t
val pp_entry : Ppx_deriving_runtime.Format.formatter -> entry -> Ppx_deriving_runtime.unit
type entries = entry list
val entries_to_yojson : entries -> Yojson.Safe.t
val pp_entries : Ppx_deriving_runtime.Format.formatter -> entries -> Ppx_deriving_runtime.unit
val show_entries : T.obj_micheline -> string
val to_micheline : string -> unit
type storage_value = {
  1. id : string;
  2. value : string;
}
val storage_value_to_yojson : storage_value -> Yojson.Safe.t
val pp_storage_value : Ppx_deriving_runtime.Format.formatter -> storage_value -> Ppx_deriving_runtime.unit
val show_storage_value : storage_value -> Ppx_deriving_runtime.string
type storage_values = storage_value list
val storage_values_to_yojson : storage_values -> Yojson.Safe.t
val pp_storage_values : Ppx_deriving_runtime.Format.formatter -> storage_values -> Ppx_deriving_runtime.unit
val show_storage_values : storage_values -> Ppx_deriving_runtime.string
val get_storage_values : Model.model -> string
val generate_contract_metadata : ?only_views:bool -> Model.model -> Michelson.offchain_view list -> string