Documentation

cse ∷ (MonadQuote m, Hashable (Term Name uni fun ()), Rename (Term Name uni fun ann), ToBuiltinMeaning uni fun) ⇒ CseWhichSubterms → BuiltinSemanticsVariant fun → Term Name uni fun ann → OptimizerT Name uni fun ann m (Term Name uni fun ann) Source #