Documentation

caseReduce ∷ (Monad m, CaseBuiltin uni) ⇒ Term name uni fun a → SimplifierT name uni fun a m (Term name uni fun a) Source #

processTerm ∷ CaseBuiltin uni ⇒ Term name uni fun a → Term name uni fun a Source #