Module Pres_impl.Make.Strategy


module Strategy: S