Module `Many_Valued_Logic.Quasireflexive_Ord`

Parameters

Ok : Bastet.Interface.TYPE
Error : Bastet.Interface.TYPE

Signature

include Bastet.Interface.EQ

type t

val eq : t -> t -> bool

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