module fnparser3. accumulate fndefgram. first (fm _67) definitiont. first (fm _82) fnmodt. first (fe _156) (id _158). first (fe _239) pit. first (fe _251) sigmat. first (fe _262) lparen. first (lamt _282) (id _284). first (fe _294) negt. first (fe _306) zerot. first (fe _314) succt. first (fe _322) natt. first (fe _330) trutht. first (fe _338) falset. first (tep _346) typet. first (kep _356) kindt. first (te _367) typet. first (te _376) (id _378). first telparen lparen. first (te _428) formt. first (te _436) ntt. first tcomma comma. first (idlst _449) (id _451). first (cl _121) (id _594). first (cl _121) pit. first (cl _121) sigmat. first (cl _121) lparen. first (cl _121) negt. first (cl _121) zerot. first (cl _121) succt. first (cl _121) natt. first (cl _121) trutht. first (cl _121) falset. first (cl _131) typet. first (cl _145) kindt. first (fe _275) (id _720). first (te _415) lparen. first (dl _100) (id _1029). first (dl _100) pit. first (dl _100) sigmat. first (dl _100) lparen. first (dl _100) negt. first (dl _100) zerot. first (dl _100) succt. first (dl _100) natt. first (dl _100) trutht. first (dl _100) falset. first (dl _100) typet. first (dl _100) kindt. first (dl _111) (id _1029). first (dl _111) pit. first (dl _111) sigmat. first (dl _111) lparen. first (dl _111) negt. first (dl _111) zerot. first (dl _111) succt. first (dl _111) natt. first (dl _111) trutht. first (dl _111) falset. first (dl _111) typet. first (dl _111) kindt. first (cl _124) (id _1155). first (dl _103) (id _1591). first (dl _113) (id _1591). first X X :- terminal X. parse [definitiont,B|Alpha] [A|Beta] Result "shift" :- member B (bofs :: nil), first (id _88) A, !, parse [A,definitiont,B|Alpha] Beta Result Str. parse [id _88,definitiont,B|Alpha] [A|Beta] Result "shift" :- member B (bofs :: nil), first (dott) A, !, parse [A,id _88,definitiont,B|Alpha] Beta Result Str. parse [dott,id _88,definitiont,B|Alpha] [A|Beta] Result "shift" :- member B (bofs :: nil), first (dl _91) A, !, parse [A,dott,id _88,definitiont,B|Alpha] Beta Result Str. parse [fnmodt,B|Alpha] [A|Beta] Result "shift" :- member B (bofs :: nil), first (id _103) A, !, parse [A,fnmodt,B|Alpha] Beta Result Str. parse [id _103,fnmodt,B|Alpha] [A|Beta] Result "shift" :- member B (bofs :: nil), first (dott) A, !, parse [A,id _103,fnmodt,B|Alpha] Beta Result Str. parse [dott,id _103,fnmodt,B|Alpha] [A|Beta] Result "shift" :- member B (bofs :: nil), first (dl _106) A, !, parse [A,dott,id _103,fnmodt,B|Alpha] Beta Result Str. parse [cl _127,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: cl _11467 :: nil), first (dl _129) A, !, parse [A,cl _127,B|Alpha] Beta Result Str. parse [fe _139,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: cl _41783 :: nil), first (dott) A, !, parse [A,fe _139,B|Alpha] Beta Result Str. parse [tep _149,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: cl _43289 :: nil), first (te _151) A, !, parse [A,tep _149,B|Alpha] Beta Result Str. parse [te _151,tep _149,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: cl _43289 :: nil), first (dott) A, !, parse [A,te _151,tep _149,B|Alpha] Beta Result Str. parse [kep _163,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: cl _44806 :: nil), first (te _165) A, !, parse [A,kep _163,B|Alpha] Beta Result Str. parse [te _165,kep _163,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: cl _44806 :: nil), first (dott) A, !, parse [A,te _165,kep _163,B|Alpha] Beta Result Str. parse [fe _187,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: fe _49793 :: comma :: semicolon :: impt :: impbyt :: lparen :: negt :: cl _266947 :: slasht :: nil), first (fe _189) A, !, parse [A,fe _187,B|Alpha] Beta Result Str. parse [fe _200,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: comma :: semicolon :: impt :: impbyt :: lparen :: negt :: cl _270825 :: fe _321611 :: slasht :: nil), first (comma) A, !, parse [A,fe _200,B|Alpha] Beta Result Str. parse [comma,fe _200,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: comma :: semicolon :: impt :: impbyt :: lparen :: negt :: cl _270825 :: fe _321611 :: slasht :: nil), first (fe _203) A, !, parse [A,comma,fe _200,B|Alpha] Beta Result Str. parse [fe _215,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: semicolon :: impt :: impbyt :: lparen :: negt :: cl _274749 :: fe _325692 :: comma :: slasht :: nil), first (semicolon) A, !, parse [A,fe _215,B|Alpha] Beta Result Str. parse [semicolon,fe _215,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: semicolon :: impt :: impbyt :: lparen :: negt :: cl _274749 :: fe _325692 :: comma :: slasht :: nil), first (fe _218) A, !, parse [A,semicolon,fe _215,B|Alpha] Beta Result Str. parse [fe _230,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: impt :: impbyt :: lparen :: negt :: cl _278720 :: fe _329819 :: comma :: semicolon :: slasht :: nil), first (impt) A, !, parse [A,fe _230,B|Alpha] Beta Result Str. parse [impt,fe _230,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: impt :: impbyt :: lparen :: negt :: cl _278720 :: fe _329819 :: comma :: semicolon :: slasht :: nil), first (fe _233) A, !, parse [A,impt,fe _230,B|Alpha] Beta Result Str. parse [fe _245,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: impbyt :: lparen :: negt :: cl _282737 :: fe _333993 :: comma :: semicolon :: impt :: slasht :: nil), first (impbyt) A, !, parse [A,fe _245,B|Alpha] Beta Result Str. parse [impbyt,fe _245,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: impbyt :: lparen :: negt :: cl _282737 :: fe _333993 :: comma :: semicolon :: impt :: slasht :: nil), first (fe _248) A, !, parse [A,impbyt,fe _245,B|Alpha] Beta Result Str. parse [pit,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: lparen :: negt :: cl _285749 :: fe _337161 :: comma :: semicolon :: impt :: impbyt :: slasht :: nil), first (lamt _261) A, !, parse [A,pit,B|Alpha] Beta Result Str. parse [sigmat,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: lparen :: negt :: cl _288760 :: fe _340329 :: comma :: semicolon :: impt :: impbyt :: slasht :: nil), first (lamt _272) A, !, parse [A,sigmat,B|Alpha] Beta Result Str. parse [lparen,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: lparen :: negt :: cl _292097 :: fe _343822 :: comma :: semicolon :: impt :: impbyt :: slasht :: nil), first (fe _283) A, !, parse [A,lparen,B|Alpha] Beta Result Str. parse [fe _283,lparen,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: lparen :: negt :: cl _292097 :: fe _343822 :: comma :: semicolon :: impt :: impbyt :: slasht :: nil), first (rparen) A, !, parse [A,fe _283,lparen,B|Alpha] Beta Result Str. parse [id _303,B|Alpha] [A|Beta] Result "shift" :- member B (pit :: sigmat :: dott :: negt :: cl _623045 :: fe _626838 :: comma :: semicolon :: impt :: impbyt :: lparen :: slasht :: nil), first (slasht) A, !, parse [A,id _303,B|Alpha] Beta Result Str. parse [slasht,id _303,B|Alpha] [A|Beta] Result "shift" :- member B (pit :: sigmat :: dott :: negt :: cl _623045 :: fe _626838 :: comma :: semicolon :: impt :: impbyt :: lparen :: slasht :: nil), first (fe _306) A, !, parse [A,slasht,id _303,B|Alpha] Beta Result Str. parse [negt,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: negt :: cl _298441 :: fe _350479 :: comma :: semicolon :: impt :: impbyt :: lparen :: slasht :: nil), first (fe _315) A, !, parse [A,negt,B|Alpha] Beta Result Str. parse [typet,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: cl _314519 :: nil), first (idlst _367) A, !, parse [A,typet,B|Alpha] Beta Result Str. parse [kindt,B|Alpha] [A|Beta] Result "shift" :- member B (dott :: cl _317579 :: nil), first (idlst _377) A, !, parse [A,kindt,B|Alpha] Beta Result Str. parse [te _407,B|Alpha] [A|Beta] Result "shift" :- member B (tep _29539 :: kep _36594 :: te _249304 :: arrowt :: telparen :: nil), first (te _409) A, !, parse [A,te _407,B|Alpha] Beta Result Str. parse [te _419,B|Alpha] [A|Beta] Result "shift" :- member B (tep _31072 :: kep _38171 :: arrowt :: te _601487 :: telparen :: nil), first (arrowt) A, !, parse [A,te _419,B|Alpha] Beta Result Str. parse [arrowt,te _419,B|Alpha] [A|Beta] Result "shift" :- member B (tep _31072 :: kep _38171 :: arrowt :: te _601487 :: telparen :: nil), first (te _422) A, !, parse [A,arrowt,te _419,B|Alpha] Beta Result Str. parse [telparen,B|Alpha] [A|Beta] Result "shift" :- member B (tep _32505 :: kep _39647 :: te _611812 :: arrowt :: telparen :: nil), first (te _434) A, !, parse [A,telparen,B|Alpha] Beta Result Str. parse [te _434,telparen,B|Alpha] [A|Beta] Result "shift" :- member B (tep _32505 :: kep _39647 :: te _611812 :: arrowt :: telparen :: nil), first (rparen) A, !, parse [A,te _434,telparen,B|Alpha] Beta Result Str. parse [idlst _480,B|Alpha] [A|Beta] Result "shift" :- member B (typet :: kindt :: nil), first (tcomma) A, !, parse [A,idlst _480,B|Alpha] Beta Result Str. parse [tcomma,idlst _480,B|Alpha] [A|Beta] Result "shift" :- member B (typet :: kindt :: nil), first (id _483) A, !, parse [A,tcomma,idlst _480,B|Alpha] Beta Result Str. parse [bofs] [A|B] R "shift" :- first (fm _662268) A, parse [A,bofs] B R Str. parse [Sx,bofs] [eofs] Sx "accept" :- start_symbol Sx. parse [dl _91,dott,id _88,definitiont,B|Alpha] [A|Beta] Result "reduce" :- member B (bofs :: nil), member Sym (eofs :: nil), first Sym A, !, (_86 = fndefmod _88 _91), parse [fm _86,B|Alpha] [A|Beta] Result Str. parse [dl _106,dott,id _103,fnmodt,B|Alpha] [A|Beta] Result "reduce" :- member B (bofs :: nil), member Sym (eofs :: nil), first Sym A, !, (_86 = fnmodule _103 _106), parse [fm _86,B|Alpha] [A|Beta] Result Str. parse [cl _116,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: cl _10384 :: nil), member Sym (eofs :: nil), first Sym A, !, (_114 = _116 :: nil), parse [dl _114,B|Alpha] [A|Beta] Result Str. parse [dl _129,cl _127,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: cl _11467 :: nil), member Sym (eofs :: nil), first Sym A, !, (_114 = _127 :: _129), parse [dl _114,B|Alpha] [A|Beta] Result Str. parse [dott,fe _139,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: cl _41783 :: nil), member Sym (eofs :: dl _7479 :: nil), first Sym A, !, (_137 = _139), parse [cl _137,B|Alpha] [A|Beta] Result Str. parse [dott,te _151,tep _149,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: cl _43289 :: nil), member Sym (eofs :: dl _8622 :: nil), first Sym A, !, (_137 = typedef _149 _151), parse [cl _137,B|Alpha] [A|Beta] Result Str. parse [dott,te _165,kep _163,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: cl _44806 :: nil), member Sym (eofs :: dl _9776 :: nil), first Sym A, !, (_137 = kinddef _163 _165), parse [cl _137,B|Alpha] [A|Beta] Result Str. parse [id _177,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: fe _47795 :: comma :: semicolon :: impt :: impbyt :: lparen :: negt :: cl _263140 :: slasht :: nil), member Sym (dott :: fe _45301 :: comma :: semicolon :: impt :: impbyt :: rparen :: nil), first Sym A, !, (_174 = freevar _177), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [fe _189,fe _187,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: fe _49793 :: comma :: semicolon :: impt :: impbyt :: lparen :: negt :: cl _266947 :: slasht :: nil), member Sym (dott :: fe _47275 :: comma :: semicolon :: impt :: impbyt :: rparen :: nil), first Sym A, !, (_174 = (_187 @ _189)), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [fe _203,comma,fe _200,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: comma :: semicolon :: impt :: impbyt :: lparen :: negt :: cl _270825 :: fe _321611 :: slasht :: nil), member Sym (dott :: comma :: semicolon :: impt :: impbyt :: rparen :: fe _321613 :: nil), first Sym A, !, (_174 = (and @ _200 @ _203)), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [fe _218,semicolon,fe _215,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: semicolon :: impt :: impbyt :: lparen :: negt :: cl _274749 :: fe _325692 :: comma :: slasht :: nil), member Sym (dott :: semicolon :: impt :: impbyt :: rparen :: fe _325694 :: comma :: nil), first Sym A, !, (_174 = (or @ _215 @ _218)), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [fe _233,impt,fe _230,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: impt :: impbyt :: lparen :: negt :: cl _278720 :: fe _329819 :: comma :: semicolon :: slasht :: nil), member Sym (dott :: impt :: impbyt :: rparen :: fe _329821 :: comma :: semicolon :: nil), first Sym A, !, (_174 = (imp @ _230 @ _233)), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [fe _248,impbyt,fe _245,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: impbyt :: lparen :: negt :: cl _282737 :: fe _333993 :: comma :: semicolon :: impt :: slasht :: nil), member Sym (dott :: impbyt :: rparen :: fe _333995 :: comma :: semicolon :: impt :: nil), first Sym A, !, (_174 = (impby @ _245 @ _248)), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [lamt _261,pit,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: lparen :: negt :: cl _285749 :: fe _337161 :: comma :: semicolon :: impt :: impbyt :: slasht :: nil), member Sym (dott :: rparen :: fe _337163 :: comma :: semicolon :: impt :: impbyt :: nil), first Sym A, !, (_174 = (forall @ _261)), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [lamt _272,sigmat,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: lparen :: negt :: cl _288760 :: fe _340329 :: comma :: semicolon :: impt :: impbyt :: slasht :: nil), member Sym (dott :: rparen :: fe _340331 :: comma :: semicolon :: impt :: impbyt :: nil), first Sym A, !, (_174 = (some @ _272)), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [rparen,fe _283,lparen,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: lparen :: negt :: cl _292097 :: fe _343822 :: comma :: semicolon :: impt :: impbyt :: slasht :: nil), member Sym (dott :: rparen :: fe _343824 :: comma :: semicolon :: impt :: impbyt :: nil), first Sym A, !, (_174 = _283), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [lamt _294,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: negt :: cl _295106 :: fe _346988 :: comma :: semicolon :: impt :: impbyt :: lparen :: slasht :: nil), member Sym (dott :: fe _346990 :: comma :: semicolon :: impt :: impbyt :: rparen :: nil), first Sym A, !, (_174 = _294), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [fe _306,slasht,id _303,B|Alpha] [A|Beta] Result "reduce" :- member B (pit :: sigmat :: dott :: negt :: cl _623045 :: fe _626838 :: comma :: semicolon :: impt :: impbyt :: lparen :: slasht :: nil), member Sym (dott :: rparen :: fe _624943 :: comma :: semicolon :: impt :: impbyt :: nil), first Sym A, !, (formlam _303 _306 _301), parse [lamt _301,B|Alpha] [A|Beta] Result Str. parse [fe _315,negt,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: negt :: cl _298441 :: fe _350479 :: comma :: semicolon :: impt :: impbyt :: lparen :: slasht :: nil), member Sym (dott :: fe _350481 :: comma :: semicolon :: impt :: impbyt :: rparen :: nil), first Sym A, !, (_174 = (neg @ _315)), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [zerot,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: cl _301045 :: fe _353240 :: comma :: semicolon :: impt :: impbyt :: lparen :: slasht :: negt :: nil), member Sym (dott :: fe _353242 :: comma :: semicolon :: impt :: impbyt :: rparen :: nil), first Sym A, !, (_174 = zero), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [succt,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: cl _303649 :: fe _356000 :: comma :: semicolon :: impt :: impbyt :: lparen :: slasht :: negt :: nil), member Sym (dott :: fe _356002 :: comma :: semicolon :: impt :: impbyt :: rparen :: nil), first Sym A, !, (_174 = succ), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [natt,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: cl _306250 :: fe _358758 :: comma :: semicolon :: impt :: impbyt :: lparen :: slasht :: negt :: nil), member Sym (dott :: fe _358760 :: comma :: semicolon :: impt :: impbyt :: rparen :: nil), first Sym A, !, (_174 = nat), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [trutht,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: cl _308851 :: fe _361515 :: comma :: semicolon :: impt :: impbyt :: lparen :: slasht :: negt :: nil), member Sym (dott :: fe _361517 :: comma :: semicolon :: impt :: impbyt :: rparen :: nil), first Sym A, !, (_174 = truth), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [falset,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: cl _311449 :: fe _364270 :: comma :: semicolon :: impt :: impbyt :: lparen :: slasht :: negt :: nil), member Sym (dott :: fe _364272 :: comma :: semicolon :: impt :: impbyt :: rparen :: nil), first Sym A, !, (_174 = false), parse [fe _174,B|Alpha] [A|Beta] Result Str. parse [idlst _367,typet,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: cl _314519 :: nil), member Sym (te _27308 :: nil), first Sym A, !, (_364 = _367), parse [tep _364,B|Alpha] [A|Beta] Result Str. parse [idlst _377,kindt,B|Alpha] [A|Beta] Result "reduce" :- member B (dott :: cl _317579 :: nil), member Sym (te _34230 :: nil), first Sym A, !, (_374 = _377), parse [kep _374,B|Alpha] [A|Beta] Result Str. parse [typet,B|Alpha] [A|Beta] Result "reduce" :- member B (tep _27679 :: kep _34646 :: te _243570 :: arrowt :: telparen :: nil), member Sym (dott :: te _205053 :: arrowt :: rparen :: nil), first Sym A, !, (_385 = typesym "type"), parse [te _385,B|Alpha] [A|Beta] Result Str. parse [id _396,B|Alpha] [A|Beta] Result "reduce" :- member B (tep _28050 :: kep _35061 :: te _245878 :: arrowt :: telparen :: nil), member Sym (dott :: te _207328 :: arrowt :: rparen :: nil), first Sym A, !, (_385 = typesym _396), parse [te _385,B|Alpha] [A|Beta] Result Str. parse [te _409,te _407,B|Alpha] [A|Beta] Result "reduce" :- member B (tep _29539 :: kep _36594 :: te _249304 :: arrowt :: telparen :: nil), member Sym (dott :: te _210720 :: arrowt :: rparen :: nil), first Sym A, !, (_385 = tapp _407 _409), parse [te _385,B|Alpha] [A|Beta] Result Str. parse [te _422,arrowt,te _419,B|Alpha] [A|Beta] Result "reduce" :- member B (tep _31072 :: kep _38171 :: arrowt :: te _601487 :: telparen :: nil), member Sym (dott :: arrowt :: te _233312 :: rparen :: nil), first Sym A, !, (_385 = (_419 arr _422)), parse [te _385,B|Alpha] [A|Beta] Result Str. parse [rparen,te _434,telparen,B|Alpha] [A|Beta] Result "reduce" :- member B (tep _32505 :: kep _39647 :: te _611812 :: arrowt :: telparen :: nil), member Sym (dott :: te _236638 :: arrowt :: rparen :: nil), first Sym A, !, (_385 = _434), parse [te _385,B|Alpha] [A|Beta] Result Str. parse [lparen,B|Alpha] [A|Beta] Result "reduce" :- member B (tep _224394 :: kep _609167 :: te _648306 :: arrowt :: telparen :: nil), member Sym (te _224396 :: nil), first Sym A, !, (true), parse [telparen,B|Alpha] [A|Beta] Result Str. parse [formt,B|Alpha] [A|Beta] Result "reduce" :- member B (tep _32924 :: kep _40110 :: te _613443 :: arrowt :: telparen :: nil), member Sym (dott :: te _238950 :: arrowt :: rparen :: nil), first Sym A, !, (_385 = form), parse [te _385,B|Alpha] [A|Beta] Result Str. parse [ntt,B|Alpha] [A|Beta] Result "reduce" :- member B (tep _33341 :: kep _40571 :: te _615073 :: arrowt :: telparen :: nil), member Sym (dott :: te _241261 :: arrowt :: rparen :: nil), first Sym A, !, (_385 = nt), parse [te _385,B|Alpha] [A|Beta] Result Str. parse [comma,B|Alpha] [A|Beta] Result "reduce" :- member B (idlst _647927 :: nil), member Sym (id _647929 :: nil), first Sym A, !, (true), parse [tcomma,B|Alpha] [A|Beta] Result Str. parse [id _469,B|Alpha] [A|Beta] Result "reduce" :- member B (typet :: kindt :: nil), member Sym (te _199578 :: tcomma :: nil), first Sym A, !, (_467 = _469 :: nil), parse [idlst _467,B|Alpha] [A|Beta] Result Str. parse [id _483,tcomma,idlst _480,B|Alpha] [A|Beta] Result "reduce" :- member B (typet :: kindt :: nil), member Sym (te _202777 :: tcomma :: nil), first Sym A, !, (_467 = _483 :: _480), parse [idlst _467,B|Alpha] [A|Beta] Result Str. parse V I R "error" :- !, print "Parse Failed\nRemaining Input: ", printterm std_out I, fail.