Self_michelson (ligo.Self

val fetch_contract_ty_inputs : 
  'a Tezos_utils.Michelson.michelson ->
  ('b Tezos_utils.Michelson.michelson * 'c Tezos_utils.Michelson.michelson)
    option

val fetch_views_ty : 
  'a Tezos_utils.Michelson.michelson ->
  ('b Tezos_utils.Michelson.michelson * 'c Tezos_utils.Michelson.michelson)
    option

type proto = Environment.Protocols.t

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 on_seqs : 
  ( 'l Tezos_utils.Michelson.michelson list ->
    bool * 'l Tezos_utils.Michelson.michelson list ) ->
  'l Tezos_utils.Michelson.michelson ->
  bool * 'l0 Tezos_utils.Michelson.michelson

val sequence_optimizers : 
  ( 'l Tezos_utils.Michelson.michelson ->
    bool * 'l Tezos_utils.Michelson.michelson )
    list ->
  'l Tezos_utils.Michelson.michelson ->
  bool * 'l0 Tezos_utils.Michelson.michelson

val iterate_optimizer : 
  ( 'l Tezos_utils.Michelson.michelson ->
    bool * 'l Tezos_utils.Michelson.michelson ) ->
  'l Tezos_utils.Michelson.michelson ->
  'l0 Tezos_utils.Michelson.michelson

val is_failing : 'a Tezos_utils.Michelson.michelson -> bool

val is_cond : string -> bool

val last_is : 
  ( 'a Tezos_utils.Michelson.michelson ->
    'b Tezos_utils.Michelson.michelson ->
    bool ) ->
  ( 'c Tezos_utils.Michelson.michelson -> bool ) ->
  'd Tezos_utils.Michelson.michelson ->
  'e Tezos_utils.Michelson.michelson option

val remove_last : 
  ( 'a Tezos_utils.Michelson.michelson -> bool ) ->
  'b Tezos_utils.Michelson.michelson ->
  'c Tezos_utils.Michelson.michelson

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

val optimize_with_types : 
  'l. raise:( 'a, 'b ) Proto_alpha_utils.Trace.raise ->
  typer_oracle:
    ( ( 'l,
        Proto_alpha_utils.Memory_proto_alpha.Protocol.Michelson_v1_primitives.prim )
        Tezos_micheline.Micheline.node ->
      Proto_alpha_utils.Memory_proto_alpha.Protocol.Script_tc_errors.type_map ) ->
  Environment.Protocols.t ->
  has_comment:( 'l -> bool ) ->
  'l Tezos_utils.Michelson.michelson ->
  'l Tezos_utils.Michelson.michelson