Module V.I

val (=|=) : Bool.Eq.t -> Bool.Eq.t -> bool