Module `Many_Valued_Logic.Involutive_Heyting_Algebra`

Parameters

Signature

include sig ... end

type t = (Ok.t, Error.t) Stdlib.result

val eq : t -> t -> bool
val compare : t -> t -> 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