Function canrun::core::constraints::resolve_1

source · 
pub fn resolve_1<A: Unify>(
    val: &Value<A>,
    state: &State
) -> Result<Rc<A>, VarWatch>
Expand description

Resolve one Value or return an Err(VarWatch) in a Constraint.