Many_Valued_Logic.Boolean_Algebra
Ok : Bastet.Interface.BOOLEAN_ALGEBRA
Error : Bastet.Interface.BOOLEAN_ALGEBRA
include sig ... end
type t
= (Ok.t, Error.t) Stdlib.result
val eq : t -> t -> bool
val compare : t -> t -> Bastet.Interface.ordering
val join : t -> t -> t
val bottom : t
val meet : t -> t -> t
val top : t
val not : t -> t
val implies : t -> t -> t