Index - U
| ule | Data.ABC |
| ult | Data.ABC |
| unfoldAIG | Data.ABC |
| unfoldAIGs | Data.ABC |
| unGiaLit | Data.ABC.Internal.GIA |
| unGiaVar | Data.ABC.Internal.GIA |
| unLitTree | Data.ABC |
| unsafeCleanup | Data.ABC |
| Unsat | Data.ABC.AIG, Data.ABC.GIA, Data.ABC |
| uquot | Data.ABC |
| urem | Data.ABC |
| ushr | Data.ABC |