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