q_extra.ml
colibrilib
1 2 3 4 5 6 7 8 open Ord let compare a b = let c = Q.compare a b in if c = 0 then Eq else if c <= 0 then Lt else Gt
1 2 3 4 5 6 7 8
open Ord let compare a b = let c = Q.compare a b in if c = 0 then Eq else if c <= 0 then Lt else Gt