:- module pprint.
:- pragma termination_info(pprint:'ClassMethod_for_pprint__doc____pprint__doc__arity0______pprint__doc_2'((builtin:in), (builtin:in)) = (builtin:out), finite(0, [no, yes, no]), cannot_loop).
:- pragma termination_info(pprint:'ClassMethod_for_pprint__doc____string__arity0______pprint__doc_2'((builtin:in), (builtin:in)) = (builtin:out), finite(1, [no, yes, no]), cannot_loop).
:- pragma termination_info(pprint:'ClassMethod_for_pprint__doc____int__arity0______pprint__doc_2'((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:'ClassMethod_for_pprint__doc____float__arity0______pprint__doc_2'((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:'ClassMethod_for_pprint__doc____character__arity0______pprint__doc_2'((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:doc((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:doc((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:'++'((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info((pprint:nil) = (builtin:out), finite(0, [no]), cannot_loop).
:- pragma termination_info(pprint:text((builtin:in)) = (builtin:out), finite(1, [yes, no]), cannot_loop).
:- pragma termination_info(pprint:'<>'((builtin:in), (builtin:in)) = (builtin:out), finite(2, [yes, yes, no]), cannot_loop).
:- pragma termination_info((pprint:line) = (builtin:out), finite(0, [no]), cannot_loop).
:- pragma termination_info(pprint:nest((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:label((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:group((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:poly((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:'</>'((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:bracketed((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:parentheses((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:brackets((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:braces((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:packed((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:packed((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:packed_cs((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:packed_cs((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:packed_cs_to_depth((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:packed_cs_univ_args((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:separated((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info((pprint:comma) = (builtin:out), finite(1, [no]), cannot_loop).
:- pragma termination_info((pprint:semic) = (builtin:out), finite(1, [no]), cannot_loop).
:- pragma termination_info((pprint:colon) = (builtin:out), finite(1, [no]), cannot_loop).
:- pragma termination_info((pprint:space) = (builtin:out), finite(1, [no]), cannot_loop).
:- pragma termination_info((pprint:comma_space) = (builtin:out), finite(1, [no]), cannot_loop).
:- pragma termination_info((pprint:semic_space) = (builtin:out), finite(1, [no]), cannot_loop).
:- pragma termination_info((pprint:colon_space) = (builtin:out), finite(1, [no]), cannot_loop).
:- pragma termination_info((pprint:comma_line) = (builtin:out), infinite, can_loop).
:- pragma termination_info((pprint:semic_line) = (builtin:out), infinite, can_loop).
:- pragma termination_info((pprint:colon_line) = (builtin:out), infinite, can_loop).
:- pragma termination_info((pprint:space_line) = (builtin:out), infinite, can_loop).
:- pragma termination_info((pprint:comma_space_line) = (builtin:out), infinite, can_loop).
:- pragma termination_info((pprint:semic_space_line) = (builtin:out), infinite, can_loop).
:- pragma termination_info((pprint:colon_space_line) = (builtin:out), infinite, can_loop).
:- pragma termination_info((pprint:ellipsis) = (builtin:out), finite(1, [no]), cannot_loop).
:- pragma termination_info(pprint:word_wrapped((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:to_doc((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:to_doc((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:to_string((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pprint:write((builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(pprint:write((builtin:in), (builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(pprint:layout_best((pred((builtin:in), (builtin:di), (builtin:uo)) is det), (builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(pprint:layout_best((pred((builtin:in), (builtin:in), (builtin:out)) is det), (builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(pprint:lb((pred((builtin:in), (builtin:di), (builtin:uo)) is det), (builtin:in), (builtin:in), (builtin:out), (builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(pprint:lb((pred((builtin:in), (builtin:in), (builtin:out)) is det), (builtin:in), (builtin:in), (builtin:out), (builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).