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 M = Model
Sourcemodule A = ParseTree
Sourcetype env = {
  1. name : string;
}
Sourceval mk_env : ?name:string -> 'a -> env
Sourceval parse_micheline : ?ijson:bool -> Core.from_input -> T.obj_micheline * env
Sourceval to_michelson : (T.obj_micheline * env) -> T.michelson * env
Sourcetype ir_env = {
  1. cpt_alpha : int;
  2. deep : int;
  3. fail : bool;
  4. scopes : T.dinstruction list list;
}
Sourceval mk_ir_env : ?cpt_alpha:int -> ?deep:int -> ?fail:bool -> ?scopes:T.dinstruction list list -> 'a -> ir_env
Sourceval inc_deep : ir_env -> ir_env
Sourceval dec_deep : ir_env -> ir_env
Sourceval to_dir : (T.michelson * env) -> T.dprogram * env
Sourceval _to_red_dir : (T.dprogram * env) -> T.dprogram * env
Sourceval to_red_dir : (T.dprogram * env) -> T.dprogram * env
Sourceval to_ir : (T.dprogram * env) -> T.ir * env
Sourceval ttype_to_mtype : T.type_ -> M.type_
Sourceval to_model : (T.ir * env) -> M.model * env
Sourceval to_archetype : (M.model * env) -> A.archetype
OCaml

Innovation. Community. Security.