| CASE | Language.KansasLava.RTL, Language.KansasLava |
| cASE | Language.KansasLava.Utils, Language.KansasLava |
| chooseRepValue | Language.KansasLava.Types, Language.KansasLava |
| circuitSignature | Language.KansasLava.Types, Language.KansasLava |
| CLK | Language.KansasLava.Types, Language.KansasLava |
| ClkDom | Language.KansasLava.Types, Language.KansasLava |
| ClkTy | Language.KansasLava.Types, Language.KansasLava |
| Clock | Language.KansasLava.Types, Language.KansasLava |
| ClockId | Language.KansasLava.Types, Language.KansasLava |
| cmpRep | Language.KansasLava.Rep, Language.KansasLava |
| cmpRepValue | Language.KansasLava.Types, Language.KansasLava |
| cmpSignalRep | Language.KansasLava.Signal |
| cmpVCD | Language.KansasLava.VCD |
| coerce | Language.KansasLava.Utils, Language.KansasLava |
| Comment | Language.KansasLava.Types, Language.KansasLava |
| commentS | Language.KansasLava.Signal, Language.KansasLava |
| Cond | Language.KansasLava.RTL, Language.KansasLava |
| Cons | Language.KansasLava.Stream |
| constP | Language.KansasLava.Protocols, Language.KansasLava |
| correctnessCondition | Language.KansasLava.Test |
| cycleP | Language.KansasLava.Protocols, Language.KansasLava |