functor (X : Signature.Boxlike->
  sig
    type t = X.t Overlays.spec
    val width : t -> float
    val height : t -> float
    val set_pos : Signature.point -> t -> t
  end