sig
val
options :
Delimited
.options
val
names : string list
end