links

The Links Programming Language
IN THIS PACKAGE
module Check : sig ... end