1 2 3 4 5 6 7 8
package veh.err interface Broken { signal speed : Speed @10ms type After : m struct Uses { f: After }