fix: use a global polyfix for defLet and defRef

[haskell/symantic-parser.git] / test / Golden / Grammar / OptimizeGrammar / G6.expected.txt

lets
` <|>
  + <*>
  | + <*>
  | | + pure (\u1 -> (\u2 -> 'a' : ('a' : Term)))
  | | ` satisfy
  | ` satisfy
  ` <*>
    + <*>
    | + pure (\u1 -> (\u2 -> 'a' : ('b' : Term)))
    | ` satisfy
    ` satisfy