size:
, out:(size
(size List)). mk_adjlist(size, out) 
AdjList| Who Cites mk adjlist? | |
| mk_adjlist | Def mk_adjlist(size, out) == < size,out > |
| Thm* size:, out:(size(size List)). mk_adjlist(size, out) AdjList |
| Syntax: | mk_adjlist(size, out) | has structure: | mk_adjlist(size; out) |
About:
 |  |  |  |  |  |  |