sig
type
t =
Symbols
.t
end