C | |
| codomain [Bitpath_cover_map.Make] | |
P | |
| prefix [Bitpath_cover_map.Make] | |
| prefix [Bitpath_cover_map.Poly] | |
| prefix [Bitpath_cover] |
A prefix is represented by a
Bitpath.
|
T | |
| t [Bitpath_prereq.Option] | |
| t [Bitpath_cover_map.Equatable] | |
| t [Bitpath_cover_map.Make] | |
| t [Bitpath_cover_map.Poly] | |
| t [Bitpath_cover] |
The set type.
|
| t [Bitpath] |
The type of a bit-string, which represents zero or more consecutive
boolean values, indexed from 0.
|