package jasmin

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

Module Order.Builders_6

val coq_Builders_6_T__canonical__eqtype_Equality : 'a1 Eqtype.Coq_hasDecEq.axioms_ -> Eqtype.Equality.coq_type
val coq_HB_unnamed_factory_8 : unit -> 'a1 Eqtype.Coq_hasDecEq.axioms_ -> ('a1, 'a1) LtLe_isPOrder.phant_axioms -> 'a1 Coq_isPOrder.axioms_