sig val width : int val height : int val topology_boundary : Types.topology_boundary val scale : int end