comparison.vi:165`

trait Le[T];

`le` `root/ops/comparison.vi:167`

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

impl from_ord[T; Ord[T]]: Le[T];

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