links

The Links Programming Language
IN THIS PACKAGE
val register : Value.t -> int
val find : int -> Value.t