Up
Module
Open
:
String_monoidable.S
with
type
t
:=
t
Used when the boundary indicates a new part
Signature
type
t
val
to_string_monoid :
t
->
String_monoid.t