M.NoSpan
val ty_tuple : AST.ty Prelude.list -> AST.ty
val ty_tuple_or_id : AST.ty Prelude.list -> AST.ty
val ty_cf : continue_type:AST.ty -> break_type:AST.ty -> AST.ty
val ty_cf_return : acc_type:AST.ty -> break_type:AST.ty -> return_type:AST.ty Prelude.option -> AST.ty