Module Functor

module Functor: sig .. end

module type Functor = sig .. end