Test.relast

Root ::= SenderRoot* ReceiverRoot;
SenderRoot ::= <Input> A* ;
ReceiverRoot ::=
    <FromBasic>
    <FromSimpleNoMapping>
    <FromSimpleWithMapping>
    <FromTransformedNoMapping:int>
    <FromTransformedWithMapping:int>
    FromReferenceTypeNoMapping:A
    FromReferenceTypeWithMapping:A
    FromNTANoMapping:A
    FromNTAWithMapping:A
    <FromCircularNoMapping:int>
    <FromCircularWithMapping:int>
    <FromCollectionNoMapping>
    <FromCollectionWithMapping> ;
A ::= <Value> Inner ;
Inner ::= <InnerValue> ;