Module Fix

module Fix: sig .. end

module type IMPERATIVE_MAPS = sig .. end

module type PROPERTY = sig .. end

module Make: 
functor (M : IMPERATIVE_MAPS) -> 
functor (P : PROPERTY) -> sig .. end