Prop.Boolean
type property = bool
val bottom : property
val equal : property -> property -> bool
val is_maximal : property -> bool
val leq : bool -> bool -> bool
val join : bool -> bool -> bool
val leq_join : bool -> bool -> bool