descript-lang-0.2.0.0: test-resources/examples/Rep.dscr

Air[].
Foo[contents].
Bar[contents].
Pack[foos, bars].
Organize[a].

Organize[a: Foo[contents]]: Pack[foos: a<Organize, bars: Air[]]
Organize[a: Bar[contents]]: Pack[foos: Air[], bars: a<Organize]

/*Organize[
  a:
    Foo[contents: Bar[contents: Air[]]] |
    Bar[contents: Foo[contents: Air[]]]
] => Pack[
  foos: Foo[contents: Bar[contents: Air[]]] | Air[]
  bars: Bar[contents: Foo[contents: Air[]]] | Air[]
]*/

Organize[
  a:
    Foo[contents: Bar[contents: Air[]]] |
    Bar[contents: Foo[contents: Air[]]]
]?