type t = bool