Module System.Make

Parameters

module X : sig ... end

Signature