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