sig
val
output :
Ltlast
.formula
->
string
->
unit
end