sig val length : int val range : int val topology_boundary : Types.topology_boundary val scale : int val time_stroboscope : int end