let model_update: store -> D.integer -> D.abstract -> store =
    D.e_app3 "update"