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