sig
type
t = bool
val
sentinel : t
end