equal
deleted
inserted
replaced
13 'm sender_state = "'m list * bool" |
13 'm sender_state = "'m list * bool" |
14 (* messages Alternating Bit *) |
14 (* messages Alternating Bit *) |
15 |
15 |
16 consts |
16 consts |
17 |
17 |
18 sender_asig :: 'm action signature |
18 sender_asig :: "'m action signature" |
19 sender_trans :: ('m action, 'm sender_state)transition set |
19 sender_trans :: ('m action, 'm sender_state)transition set |
20 sender_ioa :: ('m action, 'm sender_state)ioa |
20 sender_ioa :: ('m action, 'm sender_state)ioa |
21 sq :: 'm sender_state => 'm list |
21 sq :: 'm sender_state => 'm list |
22 sbit :: 'm sender_state => bool |
22 sbit :: 'm sender_state => bool |
23 |
23 |