Module Nopres_impl

module Nopres_impl: sig .. end

module type Implementation = sig .. end

module Make: 
functor (S : Strat.T) -> 
functor (Impl : Implementation) -> sig .. end