Module BatOrd.RevOrdSource

Parameters

module Ord : Ord

Signature

Sourcetype t = Ord.t
Sourceval ord : t ord