#line 190 "/home/travis/build/felix-lang/felix/src/packages/numbers.fdoc"
  instance[t in reals] Tord[t] {
    fun < : t * t -> bool = "$1<$2";
  }