links

The Links Programming Language
IN THIS PACKAGE
module type INTERFACE = sig ... end
module type UNTYPED = sig ... end
module Untyped : UNTYPED
module type TYPEABLE = sig ... end
module Identity : sig ... end