t<'patt, 'expr>
Namespace: Yard.Core
Parent Module: Rule
t<'patt,'expr> - Type of rule. 'patt - type of attributes (arguments). 'expr - type of expressions in action code. Rule have the following format: [+]name<< metaArgs >>[args] : body;
Record Fields
| Record Field | Description |
args
Signature: 'patt list
|
Heritable arguments of rule |
body
Signature: t<'patt,'expr>
|
Rule body (production). |
isInline
Signature: bool
|
|
isPublic
Signature: bool
|
Can this rule be seen from another module. It's true if ('public' is used before rule) or (module is marked as AllPublic and rule isn't marked as private) |
isStart
Signature: bool
|
Is this rule a start non-terminal (in this case '[ |
metaArgs
Signature: 'patt list
|
List of meta-arguments - names of rules, parametrizing this rule. |
name
Signature: t
|
Rule name. Used to start from this or to be referenced to from other rules. |
