Module System

Spec

module Spec = Spec

A Mode

module type S = sig ... end
module Make (X : sig ... end) : S