sig
  type t = float * float * int
  val default : t
  val grow : t -> (int -> unit) -> int -> unit
  val shrink : t -> (int -> unit) -> int -> int -> unit
end