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