Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » Choice » Builders_77

Module `Choice.Builders_77`

val coq_HB_unnamed_factory_81 : 
  'a1 Coq_isCountable.phant_axioms ->
  'a1 Coq_hasChoice.phant_axioms

val coq_HB_unnamed_factory_83 : 
  'a1 Coq_isCountable.phant_axioms ->
  'a1 Choice_isCountable.axioms_