Module Many_Valued_Logic.Quasireflexive_Eq

Parameters

• Ok : Interface.TYPE
• Error : Interface.TYPE

Signature

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

val eq : t -> t -> bool