Module Checkers__PurityModels.ProcName

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