9db3dbbcfd
Term constructor creates all features with default values where not overridden. The default values for "value" and "child" features are wildcards for now (TBD), the default value for list feature is an empty list. The rationale is that a rule's head defining term pattern with a logical variable capturing list feature will not be matched with a free logical variable. Thus, to avoid having to always explicitly specify all term features, a term constructor that is not a pattern must use the default values for non-overridden features. |
||
|---|---|---|
| .. | ||
| template | ||