links

The Links Programming Language
IN THIS PACKAGE
val size : unit -> int