1 "<*>\n+ <*>\n| + <*>\n| | + <*>\n| | | + <*>\n| | | | + <*>\n| | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> (\\u6 -> u5))))))\n| | | | | ` <|>\n| | | | | + <*>\n| | | | | | + <*>\n| | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> u2 u3)))\n| | | | | | | ` <|>\n| | | | | | | + <*>\n| | | | | | | | + <*>\n| | | | | | | | | + <*>\n| | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> Term)))\n| | | | | | | | | | ` satisfy\n| | | | | | | | | ` ref <hidden>\n| | | | | | | | ` <|>\n| | | | | | | | + <*>\n| | | | | | | | | + <*>\n| | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> u2 u3)))\n| | | | | | | | | | ` ref <hidden>\n| | | | | | | | | ` rec <hidden>\n| | | | | | | | ` pure (\\u1 -> u1)\n| | | | | | | ` <*>\n| | | | | | | + <*>\n| | | | | | | | + <*>\n| | | | | | | | | + <*>\n| | | | | | | | | | + <*>\n| | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> u5)))))\n| | | | | | | | | | | ` try\n| | | | | | | | | | | ` <*>\n| | | | | | | | | | | + <*>\n| | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> '/' : ('/' : Term)))\n| | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | ` satisfy\n| | | | | | | | | | ` ref <hidden>\n| | | | | | | | | ` <|>\n| | | | | | | | | + <*>\n| | | | | | | | | | + <*>\n| | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> u2 u3)))\n| | | | | | | | | | | ` satisfy\n| | | | | | | | | | ` rec <hidden>\n| | | | | | | | | ` pure (\\u1 -> u1)\n| | | | | | | | ` ref <hidden>\n| | | | | | | ` ref <hidden>\n| | | | | | ` rec <hidden>\n| | | | | ` pure (\\u1 -> u1)\n| | | | ` ref <hidden>\n| | | ` ref <hidden>\n| | ` <|>\n| | + <*>\n| | | + <*>\n| | | | + <*>\n| | | | | + <*>\n| | | | | | + <*>\n| | | | | | | + <*>\n| | | | | | | | + <*>\n| | | | | | | | | + <*>\n| | | | | | | | | | + <*>\n| | | | | | | | | | | + <*>\n| | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> (\\u6 -> (\\u7 -> (\\u8 -> (\\u9 -> (\\u10 -> (\\u11 -> (\\u12 -> (\\u13 -> (\\u14 -> (\\u15 -> (\\u16 -> (\\u17 -> (\\u18 -> (\\u19 -> u18 u19)))))))))))))))))))\n| | | | | | | | | | | | | | | | | | | | ` try\n| | | | | | | | | | | | | | | | | | | | ` <*\n| | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> Term)\n| | | | | | | | | | | | | | | | | | | | | ` try\n| | | | | | | | | | | | | | | | | | | | | ` <*>\n| | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> (\\u6 -> (\\u7 -> (\\u8 -> 'f' : ('u' : ('n' : ('c' : ('t' : ('i' : ('o' : ('n' : Term)))))))))))))))\n| | | | | | | | | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | ` negLook\n| | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | ` try\n| | | | | | | | | | | | | | | | | | ` <*>\n| | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> u4))))\n| | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> u2 u3)))\n| | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | ` rec <hidden>\n| | | | | | | | | | | | | | | | | | | ` pure (\\u1 -> u1)\n| | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> Term)))))\n| | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> (\\u6 -> Term))))))\n| | | | | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> u2 u3)))\n| | | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | | | | ` rec <hidden>\n| | | | | | | | | | | | | | | | | | | | | ` pure (\\u1 -> u1)\n| | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> u4 u5)))))\n| | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | ` rec <hidden>\n| | | | | | | | | | | | | | | | ` pure (\\u1 -> u1)\n| | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> Term)))\n| | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | ` satisfy\n| | | | | | | | | ` ref <hidden>\n| | | | | | | | ` ref <hidden>\n| | | | | | | ` <|>\n| | | | | | | + <*>\n| | | | | | | | + <*>\n| | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> u2 u3)))\n| | | | | | | | | ` <|>\n| | | | | | | | | + <*>\n| | | | | | | | | | + <*>\n| | | | | | | | | | | + <*>\n| | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> (\\u6 -> (\\u7 -> (\\u8 -> u8))))))))\n| | | | | | | | | | | | | | | | | ` try\n| | | | | | | | | | | | | | | | | ` <*>\n| | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> u2))\n| | | | | | | | | | | | | | | | | | ` try\n| | | | | | | | | | | | | | | | | | ` <*>\n| | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> 'i' : ('f' : u3))))\n| | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> u2))\n| | | | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | + pure (\\u1 -> '0')\n| | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | ` <*>\n| | | | | | | | | | | | | | | | | + pure (\\u1 -> '1')\n| | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> u2))))\n| | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> u2))\n| | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | ` <*>\n| | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> u3)))\n| | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | ` <*>\n| | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> u2))\n| | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | + pure (\\u1 -> Term)\n| | | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> u2)))\n| | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> Term))))\n| | | | | | | | | | | | | | | | | | | | | | ` rec <hidden>\n| | | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> (u1 u3) (u4 u5))))))\n| | | | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | | | | ` rec <hidden>\n| | | | | | | | | | | | | | | | | | | | | ` rec <hidden>\n| | | | | | | | | | | | | | | | | | | | ` pure (\\u1 -> u1)\n| | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> u4 u5)))))\n| | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | ` rec <hidden>\n| | | | | | | | | | | | | ` pure (\\u1 -> u1)\n| | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | ` rec <hidden>\n| | | | | | | | | | ` <|>\n| | | | | | | | | | + <*>\n| | | | | | | | | | | + <*>\n| | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> Term)))\n| | | | | | | | | | | | | ` try\n| | | | | | | | | | | | | ` <*>\n| | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> u2))\n| | | | | | | | | | | | | | ` try\n| | | | | | | | | | | | | | ` <*>\n| | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> 'e' : ('l' : ('s' : ('e' : u5))))))))\n| | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | ` rec <hidden>\n| | | | | | | | | | ` ref <hidden>\n| | | | | | | | | ` <|>\n| | | | | | | | | + <*>\n| | | | | | | | | | + <*>\n| | | | | | | | | | | + <*>\n| | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> u4))))\n| | | | | | | | | | | | | ` try\n| | | | | | | | | | | | | ` <*>\n| | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> u2))\n| | | | | | | | | | | | | | ` try\n| | | | | | | | | | | | | | ` <*>\n| | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> (\\u6 -> 'w' : ('h' : ('i' : ('l' : ('e' : u6))))))))))\n| | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | ` rec <hidden>\n| | | | | | | | | ` <|>\n| | | | | | | | | + try\n| | | | | | | | | | ` <*>\n| | | | | | | | | | + <*>\n| | | | | | | | | | | + <*>\n| | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> (\\u6 -> (\\u7 -> (\\u8 -> (\\u9 -> (\\u10 -> (\\u11 -> (\\u12 -> (\\u13 -> u11)))))))))))))\n| | | | | | | | | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> Term))\n| | | | | | | | | | | | | | | | | | | | | | | | ` try\n| | | | | | | | | | | | | | | | | | | | | | | | ` <*>\n| | | | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> u2))\n| | | | | | | | | | | | | | | | | | | | | | | | | ` try\n| | | | | | | | | | | | | | | | | | | | | | | | | ` <*>\n| | | | | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> 'v' : ('a' : ('r' : u4))))))\n| | | | | | | | | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> (u1 u3) (u4 u5))))))\n| | | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | | | | ` rec <hidden>\n| | | | | | | | | | | | | | | | | | | ` pure (\\u1 -> u1)\n| | | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | | ` satisfy\n| | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | ` <|>\n| | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | + <*>\n| | | | | | | | | | | | | | | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> (\\u5 -> (u1 u3) (u4 u5))))))\n| | | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | | | | ` rec <hidden>\n| | | | | | | | | | | | | ` pure (\\u1 -> u1)\n| | | | | | | | | | | | ` ref <hidden>\n| | | | | | | | | | | ` satisfy\n| | | | | | | | | | ` ref <hidden>\n| | | | | | | | | ` <*>\n| | | | | | | | | + <*>\n| | | | | | | | | | + pure (\\u1 -> (\\u2 -> u1))\n| | | | | | | | | | ` ref <hidden>\n| | | | | | | | | ` ref <hidden>\n| | | | | | | | ` rec <hidden>\n| | | | | | | ` pure (\\u1 -> u1)\n| | | | | | ` ref <hidden>\n| | | | | ` satisfy\n| | | | ` ref <hidden>\n| | | ` rec <hidden>\n| | ` pure (\\u1 -> u1)\n| ` ref <hidden>\n` eof\n"
sourcephile / git / haskell / symantic-parser.git / blob