Module Checkers__PurityModels.ProcName
val dispatch : (IR.Tenv.t, Checkers.PurityDomain.t, unit) Absint.ProcnameDispatcher.ProcName.dispatcher
Checkers__PurityModels.ProcName
val dispatch : (IR.Tenv.t, Checkers.PurityDomain.t, unit) Absint.ProcnameDispatcher.ProcName.dispatcher