sig
type prop_mode = Glob | Loc
type t = bool * Marks.BoolMark.prop_mode
type t_call_info = unit
val bottom : bool * Marks.BoolMark.prop_mode
val top : bool * Marks.BoolMark.prop_mode
val visible : 'a * 'b -> 'a
val mk : bool -> bool * Marks.BoolMark.prop_mode
val merge :
bool * Marks.BoolMark.prop_mode ->
bool * Marks.BoolMark.prop_mode -> bool * Marks.BoolMark.prop_mode
val equal : Marks.BoolMark.t -> bool * Marks.BoolMark.prop_mode -> bool
val combine :
Marks.BoolMark.t ->
bool * Marks.BoolMark.prop_mode ->
(bool * Marks.BoolMark.prop_mode) * (bool * Marks.BoolMark.prop_mode)
val is_bottom : bool * Marks.BoolMark.prop_mode -> bool
val pretty : Format.formatter -> bool * Marks.BoolMark.prop_mode -> unit
end