stp.stp

stp.stp(fn)

The 2.x decorator: each call of the decorated function evaluates its body symbolically over the current solver (solver_scope): missing arguments become 32-bit symbols, assert adds constraints, return gives the term. The function must live in a source file.