Module Archetype.Gen_decompile

module T = Michelson
module M = Model
module A = ParseTree
type env = {
name : string;
}
val mk_env : ?⁠name:string -> 'a -> env
val parse_micheline : ?⁠ijson:bool -> (string * Stdlib.in_channel) -> T.obj_micheline * env
val to_michelson : (T.obj_micheline * env) -> T.michelson * env
type ir_env = {
cpt_alpha : int;
deep : int;
fail : bool;
scopes : T.dinstruction list list;
}
val mk_ir_env : ?⁠cpt_alpha:int -> ?⁠deep:int -> ?⁠fail:bool -> ?⁠scopes:T.dinstruction list list -> 'a -> ir_env
val inc_deep : ir_env -> ir_env
val dec_deep : ir_env -> ir_env
val to_dir : (T.michelson * env) -> T.dprogram * env
val _to_red_dir : (T.dprogram * env) -> T.dprogram * env
val to_red_dir : (T.dprogram * env) -> T.dprogram * env
val to_ir : (T.dprogram * env) -> T.ir * env
val ttype_to_mtype : T.type_ -> M.type_
val to_model : (T.ir * env) -> M.model * env
val to_archetype : (M.model * env) -> A.archetype