Used when the boundary indicates that there are no more parts
type t
val to_string_monoid : t ‑> String_monoid.t