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

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