package archetype

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Archetype.Gen_decompileSource

Sourcemodule T = Michelson
Sourcemodule B = Ast
Sourcemodule M = Model
Sourcemodule A = ParseTree
Sourcetype env = {
  1. name : string;
  2. type_storage : T.type_ option;
  3. type_parameter : T.type_ option;
  4. storage_list : (Ident.ident * T.type_) list;
  5. parameter_list : (Ident.ident * T.type_) list;
}
Sourceval mk_env : ?name:string -> 'a -> env
Sourceval remove_prefix_annot : string -> string
Sourceval get_annot_from_type : T.type_ -> string option
Sourceval is_valid_name : string -> bool
Sourceval parse_micheline : ?ijson:bool -> Core.from_input -> T.obj_micheline * env
Sourceval to_michelson : (T.obj_micheline * env) -> T.michelson * env
Sourceval tycheck_michelson : (T.michelson * env) -> T.michelson * env
Sourcemodule Decomp_dir : sig ... end
Sourceval to_dir : (T.michelson * env) -> T.dprogram * env
Sourceval ttype_to_mtype : T.type_ -> M.type_
Sourceval data_to_mterm : ?omap_var:(Ident.ident -> M.mterm) -> ?t:T.type_ -> ?ft:(T.type_ -> M.type_) -> T.data -> M.mterm
Sourcemodule Decomp_model : sig ... end
Sourceval dir_to_model : (T.dprogram * env) -> M.model * env
Sourceval to_archetype : (M.model * env) -> A.archetype
OCaml

Innovation. Community. Security.