PulseModelsObjC (infer.Pulselib.PulseModelsObjC)

val matchers : PulseModelsImport.matcher list

val transfer_ownership_matchers : PulseModelsImport.matcher list

val object_at : 
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  (Pulselib.PulseBasicInterface.AbstractValue.t * 'a) ->
  ?implement_nil_messaging:bool ->
  desc:string ->
  PulseModelsImport.model_no_non_disj

val insert_object_at : 
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  (Pulselib.PulseBasicInterface.AbstractValue.t * 'a) ->
  ?disallow_nil_obj:bool ->
  desc:string ->
  PulseModelsImport.model_no_non_disj

val create_array_backed_with_modelled_array : 
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  desc:string ->
  PulseModelsImport.model_no_non_disj

val init_array_backed_with_array : 
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  desc:string ->
  PulseModelsImport.model_no_non_disj