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>), LVarList>

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

Errors

Returns a list with either or both [LVar]s if they are still unresolved.