Function

Syntax

inst-rulename instantiation

Arguments

instantiation is an instantiation object.

Description

Returns the rule name of the instantiation . (The name of the rule of which this is an instantiation).

Values

A symbol which is the name of a rule.

See Also

conflict-set

inst-bindings

deftactic

inst-token

instantiation