sig type t = bool val sentinel : t end