Module Contraction.G.V

module V: Sig.COMPARABLE 

type t 

val compare : t -> t -> int

val hash : t -> int

val equal : t -> t -> bool