Module Caches.MixopEntrySource

Sourcetype t = Mixop.t
Sourceval default : t
Sourceval equal : 'a Mixfix.t -> 'b Mixfix.t -> bool
Sourceval hash : Mixop.t -> int