blob: 0fe8484609ac638a8c086d10a39b391cc4abab9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
==================== Tidy Core ====================
Result size of Tidy Core
= {terms: 4, types: 2, coercions: 0, joins: 0/0}
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
testAB = False
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
testAA = True
|