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