PulseRefCounting (infer.Pulselib.PulseRefCounting)

type access_type =

val compare_access_type : access_type -> access_type -> int

val equal_access_type : access_type -> access_type -> bool

val count_references : 
  IR.Tenv.t ->
  Pulselib.PulseDomainInterface.AbductiveDomain.t ->
  int Pulselib.PulseBasicInterface.AbstractValue.Map.t

val removable_vars : 
  IR.Tenv.t ->
  Pulselib.PulseDomainInterface.AbductiveDomain.t ->
  IR.Var.t list ->
  IR.Var.t list

val get_access_type : 
  IR.Tenv.t ->
  Pulselib.PulseBasicInterface.Access.t ->
  access_type

val pp_access_type : Stdlib.Format.formatter -> access_type -> unit