Module Absint__NoReturnModels

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