sig
type
t = hashable
end