Module Type_equal.Id.Uid

module Uid: sig .. end
Every Id.t contains a unique id that is distinct from the Uid.t in any other Id.t.

type t 
include Comparable.S
include Hashable.S