[−][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 |