Stacking (ligo.Stacking)

module Decompiler : sig ... end

module To_micheline : sig ... end

module Program : sig ... end

module Errors : sig ... end

include module type of struct include Program end

type meta = Mini_c.meta

type compiled_expression = {

expr_ty : ( meta, string ) Tezos_micheline.Micheline.node;

expr : ( meta, string ) Tezos_micheline.Micheline.node;

}

val compile_expr : 
  ( meta, ( meta, string ) Tezos_micheline.Micheline.node )
    Ligo_coq_ocaml.Compiler.ty
    list ->
  ( meta,
    ( meta, string ) Tezos_micheline.Micheline.node,
    Stage_common.Types.literal,
    ( meta, string ) Tezos_micheline.Micheline.node )
    Ligo_coq_ocaml.Compiler.expr ->
  ( meta, string ) Tezos_micheline.Micheline.node

val compile_function_body : 
  ( meta,
    ( meta, string ) Tezos_micheline.Micheline.node,
    Stage_common.Types.literal,
    ( meta, string ) Tezos_micheline.Micheline.node )
    Ligo_coq_ocaml.Compiler.binds ->
  ( meta, string ) Tezos_micheline.Micheline.node