Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » Utils » List » Ord

Module `List.Ord`Source

Parameters

module T : BatOrd.Ord

Signature

Sourcetype t = T.t list

Sourceval ord : t BatOrd.ord