Module MutInd.CanOrdSource

Equality functions over the canonical name. Their use should be restricted to the kernel.

Sourcetype t = t
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int