Module Res__

module Res__: sig .. end

module Nopres_impl: Res__Nopres_impl

module Nopres_intf: Res__Nopres_intf

module Pres_impl: Res__Pres_impl

module Pres_intf: Res__Pres_intf

module Strat: Res__Strat

module Weak_impl: Res__Weak_impl

module Weak_intf: Res__Weak_intf