sig
val
goal :
Wpo
.language
->
Wpo
.t
->
string
end