Module CG.V

Sourceval compare : t -> t -> int
Sourceval hash : t -> int
Sourceval equal : t -> t -> bool
Sourceval create : label -> t
Sourceval label : t -> label