Module Spare_marks.Config.M

module M: Spare_marks.BoolMark

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