MakeOccurrences (infer.Pulselib.PulseFormulaPhi.MakeOccurrences)

Parameters

module In : sig ... end

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

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

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

add in_ to occurrences(v)

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

remove in_ from occurrences(v)