** Conflict (shift/reduce) in state 143.
** Token involved: TYPE
** This state is reached from main after reading:

LET ty_dec 

** The derivations that appear below have the following common factor:
** (The question mark symbol (?) represents the spot where the derivations begin to differ.)

main 
expr EOF 
local 
LET decs IN expr_seq END 
    list(dec) 
    (?)

** In state 143, looking ahead at TYPE, reducing production
** nonempty_list(loc(ty_dec)) -> ty_dec 
** is permitted because of the following sub-derivation:

dec list(dec) // lookahead token appears because list(dec) can begin with TYPE
dec_ty_fun // lookahead token is inherited
nonempty_list(loc(ty_dec)) // lookahead token is inherited
ty_dec . 

** In state 143, looking ahead at TYPE, shifting is permitted
** because of the following sub-derivation:

dec list(dec) 
dec_ty_fun 
nonempty_list(loc(ty_dec)) 
ty_dec nonempty_list(loc(ty_dec)) 
       ty_dec 
       . TYPE symbol EQ ty