Module functions 

Auto-generated module

🤖 Generated with SplitRS

Functions

app_arity

Count how many arguments are applied in an App chain.

eval_nat_binop

Evaluate a pure binary Nat operation given its name and two literal arguments. Returns None if not recognized or arguments are not literals.

eval_nat_cmp

Evaluate a Nat comparison, returning a Bool literal constant name.

head_of

Compute the “head” of an expression after stripping all App layers.

is_whnf

Check whether the expression is already in weak-head normal form without performing any reduction.

reduce_nat_op

Nat literal arithmetic reduction (legacy API).