SharedPtr (infer.Pulselib.PulseModelsSmartPointers.SharedPtr)

val assign_count : 
  Pulselib.PulseDomainInterface.PathContext.t ->
  IBase.Location.t ->
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  constant:IR.IntLit.t ->
  desc:string ->
  Pulselib.PulseDomainInterface.AbductiveDomain.t ->
  Pulselib.PulseDomainInterface.AbductiveDomain.t PulseOperationResult.t