Module Scoping

module I = Mini_c
module Micheline = Tezos_micheline.Micheline
module Location = Simple_utils.Location
module List = Simple_utils.List
module Ligo_string = Simple_utils.Ligo_string
module Option = Simple_utils.Option
module Errors : sig ... end
type meta = Mini_c.meta
type binder_meta = Mini_c.binder_meta
val nil : meta
type base_type = ( meta, string ) Micheline.node
type oty = ( meta, base_type ) O.ty
val binder_meta : Var.t option -> I.type_expression -> binder_meta option
val translate_type : ?var:Var.t -> I.type_expression -> oty
val tuple_comb_ann : I.type_expression I.annotated list -> string option * ( meta, base_type ) O.ty
val tuple_comb : I.type_expression I.annotated list -> oty
val int_to_nat : int -> Ligo_coq_ocaml.Datatypes.nat
val translate_var : meta -> I.var_name -> I.environment -> ( meta, 'a, 'b, 'c ) O.expr
val internal_error : string -> string -> 'a
val translate_expression : raise: ( [> `Scoping_unsupported_primitive of Stage_common.Types.constant' * Environment.Protocols.t ], 'a ) Simple_utils.Trace.raise -> proto:Environment.Protocols.t -> I.expression -> I.environment -> ( meta, base_type, I.literal, ( meta, string ) Micheline.node ) O.expr
val translate_binder : raise: ( [> `Scoping_unsupported_primitive of Stage_common.Types.constant' * Environment.Protocols.t ], 'a ) Simple_utils.Trace.raise -> proto:Environment.Protocols.t -> (I.Environment.element * I.expression) -> I.environment -> ( meta, base_type, I.literal, ( meta, string ) Micheline.node ) O.binds
val translate_binderN : raise: ( [> `Scoping_unsupported_primitive of Stage_common.Types.constant' * Environment.Protocols.t ], 'a ) Simple_utils.Trace.raise -> proto:Environment.Protocols.t -> (I.Environment.element list * I.expression) -> I.environment -> ( meta, base_type, I.literal, ( meta, string ) Micheline.node ) O.binds
val translate_args : raise: ( [> `Scoping_unsupported_primitive of Stage_common.Types.constant' * Environment.Protocols.t ], 'a ) Simple_utils.Trace.raise -> proto:Environment.Protocols.t -> I.expression list -> I.environment -> ( meta, base_type, I.literal, ( meta, string ) Micheline.node ) O.args
val translate_constant : raise: ( [> `Scoping_unsupported_primitive of Stage_common.Types.constant' * Environment.Protocols.t ], 'a ) Simple_utils.Trace.raise -> proto:Environment.Protocols.t -> meta -> I.constant -> I.type_expression -> I.environment -> ( meta, string ) Micheline.node list * ( meta, base_type, I.literal, ( meta, string ) Micheline.node ) O.args
val translate_closed_function : raise: ( [> `Scoping_unsupported_primitive of Stage_common.Types.constant' * Environment.Protocols.t ], 'a ) Simple_utils.Trace.raise -> proto:Environment.Protocols.t -> ?env:Mini_c.Environment.t -> I.anon_function -> Mini_c.Types.type_expression -> ( meta, base_type, I.literal, ( meta, string ) Micheline.node ) O.binds