Module Matrix

module Matrix: sig .. end

module type T = sig .. end

module Make: 
functor (R : Ring.T) -> sig .. end

module Functor: 
functor (R : Ring.T) -> 
functor (R' : Ring.T) -> sig .. end