Construct | Name | Unique | Share | Id | Types | Models | Children | regexp | Refs. |
---|---|---|---|---|---|---|---|---|---|
Document | _ | F | (1,1) | F | Map | DOC | {...} | \(\epsilon\) | \(\epsilon\) |
Field (simple) | Name | T/F/U | (0/1,1) | T/F/U | \(\epsilon\)/Simple | DOC | \(\epsilon\) | \(\epsilon\) | \(\epsilon\)/\(\kappa .p\) |
Field (hom. array) | Name | T/F/U | (0/1,0/1) | T/F/U | \(\epsilon\)/Array | DOC | {...} | Trivial | \(\epsilon\) |
Field (het. array) | Name | T/F/U | (0/1,0/1) | T/F/U | \(\epsilon\)/Array | DOC | {...} | Automaton | \(\epsilon\) |
Field (structure) | Name | T/F/U | (0/1,0/1) | T/F/U | \(\epsilon\)/Map | DOC | {...} | \(\epsilon\) | \(\epsilon\)/\(\kappa .p\) |
Element of an array | _ | T/F/U | (1,0/1) | T/F/U | AnyType | DOC | \(\epsilon\)/{...} | \(\epsilon\)/ trivial/ automaton | \(\epsilon\) |
Identifier (simple) | Name | T | (1,1) | T | Simple/ Map | DOC | \(\epsilon\)/{...} | \(\epsilon\) | \(\epsilon\)/\(\kappa .p\) |
Reference | Name | T/F/U | (0/1,0/1) | T/F/U | Simple/ Map | DOC | \(\epsilon\)/{...} | \(\epsilon\) | \(\kappa .p\) |