links

The Links Programming Language
IN THIS PACKAGE
type t =
| Internal_error of string