Documentation

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