sig
  module type T =
    sig
      type t
      val default : Strat.T.t
      val grow : Strat.T.t -> int -> int
      val shrink : Strat.T.t -> real_len:int -> new_len:int -> int
    end
end