Module Incubator.OrdSource

Parameters

module T : BatOrd.Ord

Signature

Sourcetype t = T.t array
Sourceval ord : T.t array BatOrd.ord