Module Nopres_impl.Make.Strategy

module Strategy: S