Used when the boundary indicates the beginning of the first part of the message, and there is no prologue.
type t
val to_string_monoid : t ‑> String_monoid.t