Companion

The conventional name ("_") used by the anonymous variable.

The pattern a name must match to be considered isNameWellFormed.

Creates a new anonymous variable (conventionally represented as _). Every invocation returns a distinct instance: anonymous variables are never meant to be shared.

Wraps string between backticks, unconditionally.

Wraps string between backticks, but only if it does not already match NAME_PATTERN.

Creates a new, distinct Var named name. Calling this twice with the same name yields two different variables (see the class documentation); use a Scope instead when the same variable must occur more than once in the term(s) being built.