{
    "name": "zip",
    "result_type": "List[Pair[a,b]]",
    "no_log": true,
    "call": "Data.List.zip[x,y]",
    "args": [
        {
            "arg_name": "x",
            "arg_type": "List[a]"
        },
        {
            "arg_name": "y",
            "arg_type": "List[b]"
        }
    ]
}
