Module functions 

Auto-generated module

🤖 Generated with SplitRS

Traits

ErasedPass

A generic transformation pass over erased expressions.

Functions

build_apps

Build a left-associated App chain from (head, [arg1, arg2, …]).

collect_consts

Collects all constant references in an expression.

count_apps

Count the number of App nodes.

count_free_vars

Counts free variables in an erased expression.

flatten_apps

Flatten left-associated App chains into (head, [arg1, arg2, …]).

has_free_bvar

Return whether BVar(0) appears free in expr at the given depth.

lambda_depth

Computes the lambda depth of an expression.

pretty_print_erased

Pretty prints an erased expression to a string.

subst_bvar0

Substitute BVar(0) with replacement in expr, shifting free variables.