fact: Fixpoint deprecated_zip A B (xs:list A) (ys:list B) : list (A * B) := match xs, ys with | [], _ => [] | _, [] => [] | x::xs, y::ys => (x,y)::deprecated_zip xs ys end .
imports: List String ExtLib.Structures.Monads ExtLib.Core.RelDec