sig type t = float * float * int val default : t val grow : t -> int -> int val shrink : t -> real_len:int -> new_len:int -> int end