Module Uf (.ml)

module Uf: sig .. end

module type S = sig .. end

module Make: 
functor (X : Sig.X) -> S  with module R = X