Module Type KNOT_INPUT__MIXVARIANT_HERED_T_OTH_REL.
Parameter F : functor.
Parameter other : Type.
Parameter Rel : forall A, F A -> F A -> Prop.
Parameter Rel_fmap : forall A B (f1: A->B) (f2:B->A) x y,
Rel A x y ->
Rel B (fmap F f1 f2 x) (fmap F f1 f2 y).
Parameter ORel : other -> other -> Prop.

Axiom ORel_refl : reflexive other ORel.
Axiom ORel_trans : transitive other ORel.