Parameter ORel : other -> other -> Prop.

(* Specifications: *)
Axiom ORel_refl : reflexive other ORel.
Axiom ORel_trans : transitive other ORel.
Parameter T:Type.
Axiom ORel_refl : reflexive other ORel.
Axiom ORel_trans : transitive other ORel.
End KNOT_INPUT__COVARIANT_HERED_PROP_OTH_REL.
Axiom ORel_refl : reflexive other ORel.
Axiom ORel_trans : transitive other ORel.
Parameter T:Type.
Axiom ORel_refl : reflexive other ORel.
Axiom ORel_trans : transitive other ORel.
Parameter T:Type.