list
3
jlc
Sections
Support(jlc)
Doc
Def
b == if b
false
else true
fi
is mentioned by
Def
disjoint(eq;L1;L2) ==
x
L1.
x(
eq) L2
[disjoint]
In prior sections:
bool
1
list
3
jlc
Sections
Support(jlc)
Doc
x
L1.
x(eq) L2b == if b
false else true fi
xL1.x(eq) L2