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=78e9f92963403f1ed9f95326f26725532c43956f10fcc47d11ac94c66a236f52

val eqn : Datatypes.nat -> Datatypes.nat -> bool

val eqnP : Datatypes.nat Eqtype.eq_axiom

val coq_HB_unnamed_factory_1 : Datatypes.nat Eqtype.Coq_hasDecEq.axioms_

val coq_Datatypes_nat__canonical__eqtype_Equality : Eqtype.Equality.coq_type

val addn_rec : Datatypes.nat -> Datatypes.nat -> Datatypes.nat

val addn : Datatypes.nat -> Datatypes.nat -> Datatypes.nat

val subn_rec : Datatypes.nat -> Datatypes.nat -> Datatypes.nat

val subn : Datatypes.nat -> Datatypes.nat -> Datatypes.nat

val leq : Datatypes.nat -> Datatypes.nat -> bool

val iter : Datatypes.nat -> ('a1 -> 'a1) -> 'a1 -> 'a1

val muln_rec : Datatypes.nat -> Datatypes.nat -> Datatypes.nat

val muln : Datatypes.nat -> Datatypes.nat -> Datatypes.nat

val nat_of_bool : bool -> Datatypes.nat