Module Absint__NoReturnModels
val no_return : boolval dispatch : (IR.Tenv.t, bool, unit) Absint.ProcnameDispatcher.ProcName.dispatcher
Absint__NoReturnModelsval no_return : boolval dispatch : (IR.Tenv.t, bool, unit) Absint.ProcnameDispatcher.ProcName.dispatcher