PropCheck.StateM.ModelDSL.zip

You're seeing just the function zip, go back to PropCheck.StateM.ModelDSL module for more information.

Behaves exactly like Enum.zip/2.

Zipping stops when the shortest list stops. This is useful for zipping a command sequence with its (failing) execution history.