Basic (infer.Pulselib.PulseModelsDSL.Syntax.Basic)

val return_alloc_not_null : 
  Pulselib.PulseBasicInterface.Attribute.allocator ->
  IR.Exp.t option ->
  initialize:bool ->
  unit model_monad

val free : 
  Pulselib.PulseBasicInterface.Invalidation.t ->
  Pulselib.PulseBasicInterface.ValueOrigin.t
    Absint.ProcnameDispatcher.Call.FuncArg.t ->
  unit model_monad

val early_exit : PulseModelsImport.model