Index - C
| CanTrim | LAM.CanTrim |
| Closure | |
| 1 (Type/Class) | LAM.Base |
| 2 (Data Constructor) | LAM.Base |
| collectHeap | LAM.Base, LAM.CanTrim |
| cons | LAM.IsDBEnv |
| convBVCtrs | LAM.Types.BV, LAM.Base |
| convBVCtrs' | LAM.Types.BV, LAM.Base |
| convClosureRef | LAM.Base |
| convStateRef | LAM.Base |
| CseDB | LAM.Types.BV, LAM.Base |
| CseDBBV | LAM.Types.BV, LAM.Base |
| Cst | LAM.Types.BV, LAM.Base |
| CstB | LAM.Types.BV, LAM.Base |
| CstDB | LAM.Types.BV, LAM.Base |
| CstDBBV | LAM.Types.BV, LAM.Base |