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