comparison.vi:49`

trait Ord[T];
enum Ord { ... }

`impl`

impl : Fork[Ord];
impl : Drop[Ord];
impl : Fork[Ord];
impl : Drop[Ord];
impl : Show[Ord];
impl : Neg[Ord, Ord];

fn Ord::cmp[T; Ord[T]](a: &T, b: &T) -> Ord;

fn Ord::lt[T; Ord[T]](a: &T, b: &T) -> Bool;

fn Ord::le[T; Ord[T]](a: &T, b: &T) -> Bool;

enum Ord { ... }

enum Ord { ... }

enum Ord { ... }

impl unary[T; Ord[T]]: Ord[(T,)];

impl tuple[T, I, R; Tuple[T, I, R], Ord[I], Ord[R]]: Ord[T];

impl ref[T; Ord[T]]: Ord[&T];

fn gt[T; Ord[T]](a: &T, b: &T) -> Bool;

fn ge[T; Ord[T]](a: &T, b: &T) -> Bool;

fn lt_from_cmp[T; Ord[T]](a: &T, b: &T) -> Bool;

fn le_from_cmp[T; Ord[T]](a: &T, b: &T) -> Bool;

fn cmp_from_lt[T; Ord[T]](a: &T, b: &T) -> Ord;