TermMapOccurrences (infer.Pulselib.PulseFormulaPhi.TermMapOccurrences)

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

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

val add : 
  Var.Map.key ->
  occurs_in:TermDomainOrRange.Set.elt ->
  TermDomainOrRange.Set.t Var.Map.t ->
  TermDomainOrRange.Set.t Var.Map.t

val remove : 
  Var.Map.key ->
  occurred_in:TermDomainOrRange.Set.elt ->
  TermDomainOrRange.Set.t Var.Map.t ->
  TermDomainOrRange.Set.t Var.Map.t