[−] List of all items
Traits
Functions
- all
- and
- and10
- and3
- and4
- and5
- and6
- and7
- and8
- and9
- andn
- any
- count1
- count10
- count2
- count3
- count4
- count5
- count6
- count7
- count8
- count9
- countn
- eq
- false_1
- false_10
- false_2
- false_3
- false_4
- false_5
- false_6
- false_7
- false_8
- false_9
- id
- imply
- imply10
- imply3
- imply4
- imply5
- imply6
- imply7
- imply8
- imply9
- implyn
- not
- or
- or10
- or3
- or4
- or5
- or6
- or7
- or8
- or9
- orn
- prop
- prove1
- prove10
- prove2
- prove3
- prove4
- prove5
- prove6
- prove7
- prove8
- prove9
- proven
- true_1
- true_10
- true_2
- true_3
- true_4
- true_5
- true_6
- true_7
- true_8
- true_9
- xor
- xor10
- xor3
- xor4
- xor5
- xor6
- xor7
- xor8
- xor9
- xorn