Module Res__

module Nopres_impl : sig ... end
module Nopres_intf : sig ... end
module Pres_impl : sig ... end
module Pres_intf : sig ... end
module Res = Res
module Strat : sig ... end
module Weak_impl : sig ... end
module Weak_intf : sig ... end