path: root/lib/kernel/Identity.mli

class type identity = object
  method hash : Concepts.Hash.hash
end

class of_id : identity