Availability:built-in
[semidet]write_length(+Term,
-Length, +Options)True when Length is the number of characters emitted for
write_term(Term, Options)
. In addition to valid options for
write_term/2,
it processes the option:
- max_length(+MaxLength)
- If provided, fail if Length would be larger than MaxLength.
The implementation ensures that the runtime is limited when computing
the length of a huge term with a bounded maximum.