Function subst

  • subst(expr, oldExpr, newExpr, $): U

  • BEWARE: The order of parameters does not match the scripting language which is (subst newExpr, oldExpr, expr). There is no evaluation performed; the ExtensionEnv is used to recurse into atoms.

    Parameters

    • expr: U
    • oldExpr: U
    • newExpr: U
    • $: Pick<ExprContext, "handlerFor">

    Returns U

Settings

Member Visibility

Theme