Function canrun::core::constraints::resolve_2

pub fn resolve_2<A: Unify, B: Unify>(
    a: &Value<A>,
    b: &Value<B>,
    state: &State
) -> Result<(Rc<A>, Rc<B>), VarWatch>

Resolve two Values or return an Err(VarWatch) in a Constraint.