sig
val
rm_asserts : unit
->
unit
end