Up
Module
Close
:
String_monoidable.S
with
type
t
:=
t
Used when the boundary indicates that there are no more parts
Signature
type
t
val
to_string_monoid :
t
->
String_monoid.t