Module libunseemly::alpha

Structs

Ren

Constants

freshening_enabled

watching

Functions

freshen

freshen_binders

Returns an Ast like a, but with fresh Atoms and a map to change references in the same manner

freshen_binders_inside_node

freshen_binders_inside_node_with

freshen_binders_with

Like freshen_binders, but to unite two Asts with identical structure (else returns None).

freshen_with

substitute

Substitute VariableReferences in node, according to env. TODO: don’t use this to “capture the environment”; it doesn’t work in the presence of recursion Instead, we should introduce a “constant” to Beta. (Does SameAs suffice now?) TODO: because of mu’s use of VariableReferences in a place where other Asts are forbidden, it seems like this has limited use. TODO: this isn’t capture-avoiding (and shouldn’t be, when called by freshen_rec) It’s safe to use when the RHS of the environment is just fresh names.