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

Module `List.Eq`Source

Parameters

module T : BatOrd.Eq

Signature

Sourcetype t = T.t list

Sourceval eq : t BatOrd.eq