sig
val
args : unit
->
string list
end