fact: Definition equal (a e : Type) (eqa : a -> a -> bool) (eqe : e -> e -> bool) (x y : a + e) : bool := match x, y with | Ok x, Ok y => eqa x y | Err err, Err err' => eqe err err' | _, _ => false end.
imports: Coq(List) CoqFFI(Int)