Index - T
| take | Data.ABC |
| toLitForest | Data.ABC |
| toLitTree | Data.ABC |
| toSatResult | Data.ABC |
| toVerifyResult | Data.ABC |
| true | |
| 1 (Function) | Data.ABC.AIG |
| 2 (Function) | Data.ABC.GIA |
| TrueLit | |
| 1 (Data Constructor) | Data.ABC |
| 2 (Data Constructor) | Data.ABC.GIA |
| trueLit | Data.ABC.AIG, Data.ABC.GIA, Data.ABC |
| trunc | Data.ABC |