flp-0.1.0.0: examples/arith_id.flp

// Parser test: arithmetic expressions with identifiers

Block<n, k> -> union {
    A -> seq { a : 0 words, b : n words }
  | B -> seq { a : n words, c : k words }
}