Module P.Key

type t =
  1. | V : 'a prop -> t
val compare : t -> t -> int