2. msg: A
A
3. L1: A List
4. L2: A List
5.
a,b:A. (a 
L1) 
(b L2) 
msg(a,b)
filter(
a.reduce(b,y. 
msg(a,b)
y;true;L2);L1) = L1 A:Type, msg:(AA), L1,L2:A List.
(a,b:A. (a L1) (b L2) msg(a,b)) (L1 -msg(a,b) L2) = L1| 1 | 1. A: Type 2. msg: A A3. L1: A List 4. L2: A List 5. a,b:A. (a L1) (b L2) msg(a,b) filter(a.reduce(b,y. msg(a,b)y;true;L2);L1) = L1 |
About:
 |  |  |  |  |  |  |  |  |  |