sig
type
t
val
string_of :
HistoryMap
.
StringOf
.t
->
string
end