package jasmin

  1. Overview
  2. Docs
package jasmin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Jasmin.Fintype

type __ = Obj.t
module Coq_isFinite : sig ... end
module Finite : sig ... end
module FiniteNES : sig ... end
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 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