Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » Choice » Countable » Exports

Module `Countable.Exports`

val choice_Countable_class__to__eqtype_Equality_class : 
  'a1 axioms_ ->
  'a1 Eqtype.Equality.axioms_

val choice_Countable__to__eqtype_Equality : 
  coq_type ->
  Eqtype.Equality.coq_type

val choice_Countable_class__to__choice_Choice_class : 
  'a1 axioms_ ->
  'a1 Choice.axioms_

val choice_Countable__to__choice_Choice : coq_type -> Choice.coq_type