Index - L
| lAnd | Data.ABC |
| lAnd' | Data.ABC |
| lazyMux | Data.ABC |
| length | Data.ABC |
| lEq | Data.ABC |
| lEq' | Data.ABC |
| Lit | |
| 1 (Type/Class) | Data.ABC.AIG |
| 2 (Type/Class) | Data.ABC.GIA |
| LitTree | |
| 1 (Data Constructor) | Data.ABC |
| 2 (Type/Class) | Data.ABC |
| LitView | Data.ABC.GIA, Data.ABC |
| litView | Data.ABC.GIA |
| lNot | Data.ABC |
| lNot' | Data.ABC |
| lOr | Data.ABC |
| lOr' | Data.ABC |
| lsb | Data.ABC |
| lXor | Data.ABC |
| lXor' | Data.ABC |