2. P: (|E| List)
Prop3. A: Type
4. f: A
|E|5. t: A
Label6. switchable(E)(P)
switchable( < A,f,t > (E))(P o f) 
E:EventStruct, P:((|E| List)Prop), A:Type, f:(A|E|), t:(ALabel).
switchable(E)(P) 
switchable( < A,f,t > (E))(P o f)| 1 | 1. E: EventStruct 2. P: (|E| List) Prop3. A: Type 4. f: A |E|5. t: A Label6. switchable(E)(P) switchable( < A,f,t > (E))(P o f) |
About:
 |  |  |  |  |  |  |