Module functions 

Auto-generated module

🤖 Generated with SplitRS

Functions

alpha_equiv

Check whether two expressions are alpha-equivalent (same up to variable renaming).

are_convertible

Check if two expressions are convertible (definitionally equal).

build_reduction_trace

Build a reduction trace for an expression.

classify_head

Classify the head form of an expression.

count_beta_redexes

Count the number of beta-redexes in an expression.

count_reduction_steps

Count the number of reduction steps needed.

expr_depth

Compute the depth of an expression tree.

expr_fingerprint

Compute a fingerprint (hash) for an expression.

expr_size

Compute the size (number of nodes) of an expression.

find_redexes

Find all redexes in an expression.

is_normal_form

Check if an expression is in normal form.

reduce_bounded

Reduce an expression with a bound on the number of steps.

reduce_head

Reduce only the head of an expression (not arguments).

reduce_with_strategy

Reduce an expression using a specific strategy.

try_reduce_step

Attempt a single reduction step, returning a ReductionResult.