let
model_access : store
->
D
.integer
->
D
.abstract =
D
.e_app2
"access"