module Rope_toploop:sig..end
Toploop printer and its configuration.
val printer : Stdlib.Format.formatter -> Rope.rope -> unitToploop printer for rope values. The value will be printed
alike a standard string except that one will display at most
!max_display_length characters from the rope in order to
allow convenient interactive manipulations of long ropes. In
case the rope display is truncated, !ellipsis is appended
after the closing quote.
val max_display_length : int Stdlib.refMaximum number of characters displayed. Default: 400.
val ellipsis : string Stdlib.refString used a ellipsis for truncated ropes. Default: "...".