| checkStatus | Hails.HttpClient |
| clearance | Hails.PolicyModule.DSL |
| colClearance | Hails.Database.TCB, Hails.Database.Core, Hails.Database |
| colLabel | Hails.Database.TCB, Hails.Database.Core, Hails.Database |
| Collection | Hails.Database.TCB, Hails.Database.Core, Hails.Database |
| collection | Hails.PolicyModule.DSL |
| CollectionName | Hails.Database.TCB, Hails.Database.Core, Hails.Database |
| CollectionPolicy | |
| 1 (Type/Class) | Hails.Database.TCB, Hails.PolicyModule |
| 2 (Data Constructor) | Hails.Database.TCB, Hails.PolicyModule |
| CollectionSet | Hails.Database.TCB, Hails.Database.Core, Hails.Database |
| CollectionTCB | Hails.Database.TCB |
| collectionTCB | Hails.Database.TCB |
| colName | Hails.Database.TCB, Hails.Database.Core, Hails.Database |
| colPolicy | Hails.Database.TCB, Hails.Database.Core, Hails.Database |
| ConfirmWrites | Hails.Database.TCB, Hails.Database.Core |
| conflict409 | Hails.HttpServer, Hails.HttpClient |
| CONNECT | Hails.HttpServer, Hails.HttpClient |
| continue100 | Hails.HttpServer, Hails.HttpClient |
| Controller | Hails.Web.Controller, Hails.Web |
| create | Hails.Web.REST |
| createCollection | Hails.PolicyModule |
| createCollectionP | Hails.PolicyModule |
| created201 | Hails.HttpServer, Hails.HttpClient |
| curCollection | Hails.Database.Query.TCB |
| curInternal | Hails.Database.Query.TCB |
| curLabel | Hails.Database.Query.TCB, Hails.Database.Query, Hails.Database |
| curProject | Hails.Database.Query.TCB |
| Cursor | Hails.Database.Query.TCB, Hails.Database.Query, Hails.Database |
| CursorTCB | Hails.Database.Query.TCB |