Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Traits
SourcePartialEq
defines primitives for partial equivalence for two types (t
and rhs
)
Eq
defines primitives for equivalence for type t
PartialOrd
defines primitives for partial order over two types (t
and rhs
)
Ord
defines primitives for total order over type t