sig
type
t
val
to_string :
Assertion
.
Printer
.t
->
string
end