Module BatList.OrdSource

Parameters

module T : BatOrd.Ord

Signature

Sourcetype t = T.t list