VarMapOccurrences (infer.Pulselib.PulseFormulaPhi.VarMapOccurrences)

type t = Pulselib__PulseAbstractValue.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__PulseAbstractValue.Set.t Var.Map.t ->
  unit

val yojson_of_t : 'a -> [> `String of string ]

val add : 
  Var.Map.key ->
  occurs_in:int ->
  Pulselib__PulseAbstractValue.Set.t Var.Map.t ->
  Pulselib__PulseAbstractValue.Set.t Var.Map.t

val remove : 
  Var.Map.key ->
  occurred_in:int ->
  Pulselib__PulseAbstractValue.Set.t Var.Map.t ->
  Pulselib__PulseAbstractValue.Set.t Var.Map.t