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