package jasmin

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

Module GRing.Builders_31

val coq_Builders_31_R__canonical__eqtype_Equality : 'a1 Eqtype.Coq_hasDecEq.axioms_ -> Eqtype.Equality.coq_type
val coq_Builders_31_R__canonical__choice_Choice : 'a1 Choice.Coq_hasChoice.axioms_ -> 'a1 Eqtype.Coq_hasDecEq.axioms_ -> Choice.Choice.coq_type
val coq_Builders_31_R__canonical__GRing_Nmodule : 'a1 Coq_isNmodule.axioms_ -> 'a1 Choice.Coq_hasChoice.axioms_ -> 'a1 Eqtype.Coq_hasDecEq.axioms_ -> Nmodule.coq_type