Index - B
| Backward | Cornelis.Vim |
| bs_agda_proc | Cornelis.Types |
| bs_code_map | Cornelis.Types |
| bs_goals | Cornelis.Types |
| bs_goto_sites | Cornelis.Types |
| bs_info_win | Cornelis.Types |
| bs_ips | Cornelis.Types |
| bs_ip_exts | Cornelis.Types |
| Buffer | Cornelis.Types |
| BufferNum | Cornelis.Types |
| BufferStuff | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| buildInfoBuffer | Cornelis.InfoWin |
| buildIOTCM | Cornelis.Agda |
| Byte | Cornelis.Offsets |