Michelson_types (mavryk-benchmarks-proto-001-PtAtLas.Mavryk_benchmarks_proto_001_PtAtLas.Michelson

val (@$) : 
  ('a, 'b) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty ->
  ('c, 'd) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.stack_ty ->
  ('a, 'c * 'd) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.stack_ty

val bot : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.empty_cell,
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.empty_cell)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.stack_ty

val unit : 
  unit Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val int : 
  Mavryk_raw_protocol_001_PtAtLas.Script_int.z
    Mavryk_raw_protocol_001_PtAtLas.Script_int.num
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val nat : 
  Mavryk_raw_protocol_001_PtAtLas.Script_int.n
    Mavryk_raw_protocol_001_PtAtLas.Script_int.num
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val string : 
  Mavryk_raw_protocol_001_PtAtLas.Script_string.t
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val bytes : 
  Mavryk_protocol_environment_001_PtAtLas.Bytes.t
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val bool : 
  bool Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val mumav : 
  Mavryk_raw_protocol_001_PtAtLas.Alpha_context.Tez.t
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val public_key : 
  Mavryk_raw_protocol_001_PtAtLas.Alpha_context.public_key
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val key_hash : 
  Mavryk_raw_protocol_001_PtAtLas.Alpha_context.public_key_hash
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val signature : 
  Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.signature
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val address : 
  Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.address
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val chain_id : 
  Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.Script_chain_id.t
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val timestamp : 
  Mavryk_raw_protocol_001_PtAtLas.Script_timestamp.t
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val list : 
  ('a, 'b) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty ->
  ('a Mavryk_raw_protocol_001_PtAtLas.Script_list.t,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val option : 
  ('a, 'b) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty ->
  ('a option, 'b) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val map : 
  'a Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty ->
  ('b, 'c) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty ->
  (('a, 'b) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.map,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val big_map : 
  'a Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty ->
  ('b, 'c) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty ->
  (('a, 'b) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.big_map,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val set : 
  'a Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty ->
  ('a Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.set,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val pair : 
  ('a, 'b) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty ->
  ('c, 'd) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty ->
  ('a, 'c) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.pair
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty_ex_c

val cpair : 
  'a Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty ->
  'b Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty ->
  ('a, 'b) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.pair
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val or_ : 
  ('a, 'b) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty ->
  ('c, 'd) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty ->
  ('a, 'c) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.or_
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty_ex_c

val cor : 
  'a Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty ->
  'b Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty ->
  ('a, 'b) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.or_
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty

val lambda : 
  ('a, 'b) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty ->
  ('c, 'd) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty ->
  (('a, 'c) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.lambda,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val contract : 
  ('a, 'b) Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty ->
  ('a Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.typed_contract,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val operation : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.operation,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val sapling_state : 
  Mavryk_raw_protocol_001_PtAtLas.Alpha_context.Sapling.Memo_size.t ->
  (Mavryk_raw_protocol_001_PtAtLas.Alpha_context.Sapling.state,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val sapling_transaction : 
  Mavryk_raw_protocol_001_PtAtLas.Alpha_context.Sapling.Memo_size.t ->
  (Mavryk_raw_protocol_001_PtAtLas.Alpha_context.Sapling.transaction,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val sapling_transaction_deprecated : 
  Mavryk_raw_protocol_001_PtAtLas.Alpha_context.Sapling.Memo_size.t ->
  (Mavryk_raw_protocol_001_PtAtLas.Alpha_context.Sapling.Legacy.transaction,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val bls12_381_g1 : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.Script_bls.G1.t,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val bls12_381_g2 : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.Script_bls.G2.t,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val bls12_381_fr : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.Script_bls.Fr.t,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val ticket : 
  'a Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.comparable_ty ->
  ('a Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ticket,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val chest_key : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.Script_timelock.chest_key,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val chest : 
  (Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.Script_timelock.chest,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty