sig type t = { x : int; y : int; xsub : float; ysub : float; } end