Module Bool.V

type t = Bool.t