M.NoSpan
val ty_tuple : AST.ty Hax_engine.Prelude.list -> AST.ty
val ty_tuple_or_id : AST.ty Hax_engine.Prelude.list -> AST.ty