sig
  type prop_mode = BoolMark.prop_mode = Glob | Loc
  type t = bool * prop_mode
  type t_call_info = unit
  val bottom : bool * prop_mode
  val top : bool * prop_mode
  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
end