links

The Links Programming Language
IN THIS PACKAGE
type mode =
| Interactive
| Compile
| Web
val mode : mode option Settings.setting
val compile_mode : bool Settings.setting
val output_file : string option Settings.setting
val interactive_mode : bool Settings.setting
val is_interacting : unit -> bool