[−][src]Module canrun::domains
Constrain the set of types that you can reason about in a particular context.
Modules
| example | Basic domains for simple use cases. |
Macros
| domain | Generate Domain structs and other associated types and impls. |
Structs
| DomainValues | A type specific container used by a |
Traits
| Domain | Manage values for a set of specific types. |
| DomainType | Allows a |