package jasmin

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

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_