let ty_of_stl =
              function
              | (_loc, s, []) -> Ast.TyId (_loc, (Ast.IdUid (_loc, s)))
              | (_loc, s, tl) ->
                  Ast.TyOf (_loc, (Ast.TyId (_loc, (Ast.IdUid (_loc, s)))),
                    (tyAnd_of_list tl))