1sig typecat. 2accum_sig bobparser. 3 4% type checking 5% and limited type inference 6 7type tarr (list ttype) -> ttype -> ttype. % arrow type 8type typeexp texp -> ttype -> o. 9 10