let model_zrange : F.integer -> F.integer -> F.integer -> dzone =
    F.e_app3 "zrange"