next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
home
length(Dictionary) -- length of a dictionary
Synopsis
Usage:
n = length d
Function:
length
Inputs:
d
,
a
dictionary
Outputs:
n
,
an
integer
, the number of entries in
d