let
model_base :
D
.integer
->
D
.integer =
D
.e_app1
"base"