List.iter typedecs ~f:(fun (A.TypeDec {name; ty=ty_exp; pos}) ->
let ty = transTy ~env ty_exp in
(match env_get_typ ~sym:name ~env ~pos with
List.iter typedecs ~f:(fun (A.TypeDec {name; ty=ty_exp; pos}) ->
let ty = transTy ~env ty_exp in
(match env_get_typ ~sym:name ~env ~pos with