blob: b7b32722a1096a92eaa651f6867935e27fa0af33 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
// NB: transitionary, de-mode-ing.
#[forbid(deprecated_mode)];
#[forbid(deprecated_pattern)];
/// Interfaces used for comparison.
trait Ord {
pure fn lt(&&other: self) -> bool;
}
trait Eq {
pure fn eq(&&other: self) -> bool;
}
pure fn lt<T: Ord>(v1: &T, v2: &T) -> bool {
v1.lt(*v2)
}
pure fn le<T: Ord Eq>(v1: &T, v2: &T) -> bool {
v1.lt(*v2) || v1.eq(*v2)
}
pure fn eq<T: Eq>(v1: &T, v2: &T) -> bool {
v1.eq(*v2)
}
|