fact: Definition compare (a e : Type) (ca : a -> a -> i63) (ce : e -> e -> i63) (x y : a + e) : i63 := match x, y with | Ok x, Ok y => ca x y | Err err, Err err' => ce err err' | Ok _, Err _ => -1 | Err _, _ => 1 end.
imports: Coq(List) CoqFFI(Int)