Module Self_michelson

val arity : ( 'a, 'b ) Tezos_micheline.Micheline.node list -> string -> int option
val get_arity : ( 'a, string ) Tezos_micheline.Micheline.node -> int option
val is_nullary_op : ( 'a, string ) Tezos_micheline.Micheline.node -> bool
val is_unary_op : ( 'a, string ) Tezos_micheline.Micheline.node -> bool
val is_binary_op : ( 'a, string ) Tezos_micheline.Micheline.node -> bool
val is_ternary_op : ( 'a, string ) Tezos_micheline.Micheline.node -> bool
val is_injective : string -> bool
val eq_type : ( 'a, Core.String.t ) Tezos_micheline.Micheline.node list -> ( 'b, Core.String.t ) Tezos_micheline.Micheline.node list -> Core.Bool.t
val unseq : 'meta. has_comment:( 'meta -> bool ) -> 'meta Tezos_utils.Michelson.michelson -> 'meta Tezos_utils.Michelson.michelson list
val use_lambda_instr : ( 'a, string ) Tezos_micheline.Micheline.node -> 'b Tezos_utils.Michelson.michelson
val flatten_seqs : 'meta. has_comment:( 'meta -> bool ) -> 'meta Tezos_utils.Michelson.michelson -> 'meta Tezos_utils.Michelson.michelson
val is_failing : 'a Tezos_utils.Michelson.michelson -> bool
val is_cond : string -> bool
val opt_drop1 : ( 'a, string ) Tezos_micheline.Micheline.node -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_drop2 : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val digdug_depth : 'a Tezos_utils.Michelson.michelson -> int option
val opt_digdug_drop : unit -> 'a Tezos_utils.Michelson.michelson Self_michelson__Peephole.peep
val opt_drop3 : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_drop4 : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_dip1 : ( 'a, string ) Tezos_micheline.Micheline.node -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_dip2 : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_dip3 : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_cond : ?pre_type:( 'a -> ( 'b, Core.String.t ) Tezos_micheline.Micheline.node list ) -> ( 'c, string ) Tezos_micheline.Micheline.node -> ( 'c, string ) Tezos_micheline.Micheline.node list option
val opt_swap2 : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_beta3 : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_beta5 : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_digdug1 : ( 'a, string ) Tezos_micheline.Micheline.node -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_digdug2 : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val flip_digdug : string -> string
val opt_digdug_cycles : unit -> ( 'a, Core.String.t ) Tezos_micheline.Micheline.node Self_michelson__Peephole.peep
val opt_dead_unpair : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_beta2 : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_eta2 : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_unpair_edo : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_dup1 : ( 'a, string ) Tezos_micheline.Micheline.node -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_dupn_edo : (( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node * ( 'a, string ) Tezos_micheline.Micheline.node) -> ( 'a, string ) Tezos_micheline.Micheline.node list option
val opt_unpair_cdr : unit -> ( 'a, string ) Tezos_micheline.Micheline.node Self_michelson__Peephole.peep
val opt_unpair_car : unit -> ( 'a, string ) Tezos_micheline.Micheline.node Self_michelson__Peephole.peep
val opt_unpair2 : unit -> ( 'a, string ) Tezos_micheline.Micheline.node Self_michelson__Peephole.peep
val opt_pair2 : unit -> ( 'a, string ) Tezos_micheline.Micheline.node Self_michelson__Peephole.peep
val opt_get : unit -> ( 'a, string ) Tezos_micheline.Micheline.node Self_michelson__Peephole.peep
val opt_push : unit -> ( 'a, string ) Tezos_micheline.Micheline.node Self_michelson__Peephole.peep
val opt_tail_fail : ( 'a, string ) Tezos_micheline.Micheline.node -> 'b Tezos_utils.Michelson.michelson
val opt_combine_drops : ( 'l, string ) Tezos_micheline.Micheline.node -> 'l0 Tezos_utils.Michelson.michelson
val prim_type_args : string -> int option
val split_at : int -> 'a list -> 'a0 list * 'a0 list
val opt_strip_annots : ( 'a, string ) Tezos_micheline.Micheline.node -> 'b Tezos_utils.Michelson.michelson
val optimize : 'meta. Environment.Protocols.t -> has_comment:( 'meta -> bool ) -> 'meta Tezos_utils.Michelson.michelson -> 'meta Tezos_utils.Michelson.michelson