2. S: ActionSet(T)
3. s: S.car
4. tl1: T*
5. tl2: T*
(S:tl1 @ tl2
s) = (S:tl1(S:tl2s)) 
T:Type, S:ActionSet(T), s:S.car, tl1,tl2:T*. (S:tl1 @ tl2s) = (S:tl1(S:tl2s))| 1 | 1. T: Type 2. S: ActionSet(T) 3. s: S.car 4. tl1: T* 5. tl2: T* (S:tl1 @ tl2s) = (S:tl1(S:tl2s)) |
About:
 |  |  |  |