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=bc6532ed279f41aab6c73c65c8d7e86b2e78801a880db411a7ebd23755742dce

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