sig type 'a t = { left : 'a; top : 'a; right : 'a; bottom : 'a; } end