links

The Links Programming Language
IN THIS PACKAGE
include INTERFACE with type state := state and type 'a result := 'a result
val name : string