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