2. S: ActionSet(Alph)
3. s: S.car
4. L1: Alph*
5. L2: Alph*
6. L: Alph*
7. (S:L1
s) = (S:L2s)
(S:L @ L1s) = (S:L @ L2s) 
Alph:Type, S:ActionSet(Alph), s:S.car, L1,L2,L:Alph*.
(S:L1s) = (S:L2s) 
(S:L @ L1s) = (S:L @ L2s)| 1 | 1. Alph: Type 2. S: ActionSet(Alph) 3. s: S.car 4. L1: Alph* 5. L2: Alph* 6. L: Alph* 7. (S:L1 s) = (S:L2s) (S:L @ L1s) = (S:L @ L2s) |
About:
 |  |  |  |  |