let
array_length :
D
.pointer
->
Formula
.integer
D
.
F
.term =
D
.e_app1 (
"m0_array_length"
)