Tuple (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.Tuple)

type __ = Obj.t

type 't tuple_of = 't list

val tnth_default : Datatypes.nat -> 'a1 tuple_of -> Fintype.ordinal -> 'a1

val tnth : Datatypes.nat -> 'a1 tuple_of -> Fintype.ordinal -> 'a1

val tuple : 
  Datatypes.nat ->
  'a1 tuple_of ->
  (__ -> 'a1 tuple_of) ->
  'a1 tuple_of

val cons_tuple : Datatypes.nat -> 'a1 -> 'a1 tuple_of -> 'a1 tuple_of

val in_tuple : 'a1 list -> 'a1 tuple_of

val iota_tuple : Datatypes.nat -> Datatypes.nat -> Datatypes.nat tuple_of

val behead_tuple : Datatypes.nat -> 'a1 tuple_of -> 'a1 tuple_of

val map_tuple : Datatypes.nat -> ('a1 -> 'a2) -> 'a1 tuple_of -> 'a2 tuple_of

val ord_tuple : Datatypes.nat -> Fintype.ordinal tuple_of

val mktuple : Datatypes.nat -> (Fintype.ordinal -> 'a1) -> 'a1 tuple_of