package jasmin

You can search for identifiers within the package.

in-package search v0.2.0

Compiler for High-Assurance and High-Speed Cryptography

Install

dune-project

Dependency

sha256=aa0d21f532c1560a0939244cfd1c8414ba2b42c9d1403960f458500446cb1ebb

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