| Did you know ... | Search Documentation: |
| Predicate jpl_array_to_length/2 |
Length is the length of that array. This is a utility predicate, defined thus:
jpl_array_to_length(A, N) :-
( jpl_ref_to_type(A, array(_))
-> jGetArrayLength(A, N)
).