% For the type_spec_constrained_preds pragma at test_tscp.m:54,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(test_tscp.p1/5), (C = int, D = term.var(V_3))).
% :- pragma type_spec(pred(test_tscp.p1/5), (B = character, C = bool.bool)).
% For the type_spec_constrained_preds pragma at test_tscp.m:66,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(test_tscp.p2/3), (Stream = io.text_input_stream, State = io.state, Error = io.error)).
% For the type_spec_constrained_preds pragma at test_tscp.m:74,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(test_tscp.p2/3), (Stream = io.text_input_stream, State = io.state, Error = io.error)).
% For the type_spec_constrained_preds pragma at test_tscp.m:100,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(test_tscp.p3/2), A = int).
% :- pragma type_spec(pred(test_tscp.p3/2), B = int).
% :- pragma type_spec(pred(test_tscp.p3/2), A = float).
% :- pragma type_spec(pred(test_tscp.p3/2), B = float).
% For the type_spec_constrained_preds pragma at /mnt/testing/run/build/mercury-srcdist-rotd-2024-02-10/stage2/library/pretty_printer.int:85,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(pretty_printer.put_doc/7), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(pretty_printer.put_doc/7), (Stream = string.builder.handle, State = string.builder.state)).
% For the type_spec_constrained_preds pragma at /mnt/testing/run/build/mercury-srcdist-rotd-2024-02-10/stage2/library/term_io.int:135,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred(term_io.format_constant/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_constant/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_escaped_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_escaped_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_escaped_string/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_escaped_string/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_quoted_atom/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_quoted_atom/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_quoted_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_quoted_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_quoted_string/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_quoted_string/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.quote_atom/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.quote_atom/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.quote_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.quote_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.quote_string/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.quote_string/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.write_escaped_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.write_escaped_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.write_escaped_string/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.write_escaped_string/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_constant_agt/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_constant_agt/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_quoted_atom_agt/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_quoted_atom_agt/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_nl/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_nl/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_variable/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_variable/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.quote_atom_agt/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.quote_atom_agt/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_nl_with_op_table/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_nl_with_op_table/6), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_with_op_table/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_with_op_table/6), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_variable_with_op_table/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_variable_with_op_table/6), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_anon_vars/9), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_anon_vars/9), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_variable_anon_vars/9), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_variable_anon_vars/9), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred(term_io.format_term_prio_anon_vars/10), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred(term_io.format_term_prio_anon_vars/10), (Stream = string.builder.handle, State = string.builder.state)).
% For the type_spec_constrained_preds pragma at /mnt/testing/run/build/mercury-srcdist-rotd-2024-02-10/stage2/library/stream.string_writer.int:66,
% the compiler generated these type_spec pragmas:
% :- pragma type_spec(pred((stream.string_writer).nl/3), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).nl/3), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).print/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).print/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).print_cc/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).print_cc/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_char/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_char/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_float/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_float/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int16/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int16/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int32/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int32/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int64/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int64/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int8/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_int8/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint16/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint16/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint32/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint32/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint64/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint64/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint8/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).put_uint8/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write_cc/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write_cc/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write_univ/4), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write_univ/4), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).do_write_univ/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).do_write_univ/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).format/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).format/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).print/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).print/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).write_univ/5), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).write_univ/5), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).do_write_univ_prio/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).do_write_univ_prio/6), (Stream = string.builder.handle, State = string.builder.state)).
% :- pragma type_spec(pred((stream.string_writer).maybe_write_paren/6), (Stream = io.text_output_stream, State = io.state)).
% :- pragma type_spec(pred((stream.string_writer).maybe_write_paren/6), (Stream = string.builder.handle, State = string.builder.state)).