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

type __ = Obj.t

module Coq_isFinite : sig ... end

module Finite : sig ... end

module FiniteNES : sig ... end

val enum_mem : 
  Finite.coq_type ->
  Finite.sort Ssrbool.mem_pred ->
  Finite.sort list

type ordinal = Datatypes.nat

val nat_of_ord : Datatypes.nat -> ordinal -> Datatypes.nat

val coq_HB_unnamed_factory_57 : 
  Datatypes.nat ->
  (Datatypes.nat, ordinal) Eqtype.Coq_isSub.axioms_

val fintype_ordinal__canonical__eqtype_SubType : 
  Datatypes.nat ->
  Datatypes.nat Eqtype.SubType.coq_type

val coq_HB_unnamed_factory_59 : 
  Datatypes.nat ->
  ordinal Choice.Countable.axioms_

val coq_HB_unnamed_mixin_63 : 
  Datatypes.nat ->
  ordinal Eqtype.Coq_hasDecEq.axioms_

val coq_HB_unnamed_mixin_64 : 
  Datatypes.nat ->
  ordinal Choice.Coq_hasChoice.axioms_

val coq_HB_unnamed_mixin_65 : 
  Datatypes.nat ->
  ordinal Choice.Choice_isCountable.axioms_

val ord_enum : Datatypes.nat -> ordinal list

val coq_HB_unnamed_factory_66 : Datatypes.nat -> ordinal Coq_isFinite.axioms_

val fintype_ordinal__canonical__fintype_Finite : 
  Datatypes.nat ->
  Finite.coq_type