Module Lattice.Boolean.B


module B: sig .. end

type t = bool 
val to_string : bool -> string
val pretty : Format.formatter -> bool -> unit
val hash : 'a -> int
val compare : 'a -> 'a -> int
module Datatype: Datatype.Bool