Function canrun::core::constraints::resolve_1

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

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

Errors

Returns a list containing the single [LVar] if it is still unresolved.