sig type t = hashable end