let
array_of_path env p =
match
fun_load env p
with
|
V_array
(_,t)
->
t
|
_
->
assert
false