Module `Many_Valued_Logic.Quasireflexive_Ord`

Parameters

Ok : Interface.TYPE
Error : Interface.TYPE

Signature

include Interface.EQ

type t

val eq : t -> t -> bool

val compare : t -> t -> Interface.ordering