sig type t = Key.t end