sig
val
collapse : bool
end