Module canrun::value

Contain individual resolved values or variables that can be bound through unification.

Values are parameterized with the type they can contain. This ensures that they can only be unified with values of the same type, and they can only be added to states with a compatible domain.

Macros

val	Easy conversion of LVar<T> and T values into Val<T>.

Structs

LVar	A logical variable that represents a potential value of type T.

Enums

Val	The possible states a value can be in.

Traits

IntoVal	Helper for converting into Val<T>.
ReifyIn	Extract a fully resolved T from a Val<T>.

Functions

var	Create a new logical var.