links

The Links Programming Language
IN THIS PACKAGE
module type Non_immediate = sig ... end
module type Immediate = sig ... end
module Make (Immediate : Immediate) (Non_immediate : Non_immediate) : sig ... end