module Proof
import Base: Zip, Zip2, getindex
getindex(o::Zip, k::Int) = (o.a[k], o.z[k]...)
getindex(o::Zip2, k::Int) = (o.a[k], o.b[k])
end



Reply via email to