links

The Links Programming Language
IN THIS PACKAGE
val prepare_prompt : string -> unit