Module PulseFormulaPhi.AtomMapOccurrences

type t = Pulselib__PulseFormulaAtom.Set.t Var.Map.t
val compare : t -> t -> int
val equal : t -> t -> bool
val pp : (F.formatter -> Var.Map.key -> unit) -> IStdlib.Pp.F.formatter -> Pulselib__PulseFormulaAtom.Set.t Var.Map.t -> unit
val yojson_of_t : 'a -> [> `String of string ]
val add : Var.Map.key -> occurs_in:Pulselib__PulseFormulaAtom.t -> Pulselib__PulseFormulaAtom.Set.t Var.Map.t -> Pulselib__PulseFormulaAtom.Set.t Var.Map.t
val remove : Var.Map.key -> occurred_in:Pulselib__PulseFormulaAtom.t -> Pulselib__PulseFormulaAtom.Set.t Var.Map.t -> Pulselib__PulseFormulaAtom.Set.t Var.Map.t