Module Nopres_impl.Make.Strategy


module Strategy: S