type 'a t
val create : unit ‑> 'a t
val equal : 'a t ‑> 'a t ‑> bool
Compare two keys that have compatible types.