spade_typeinference::constraints

Function ce_var

Source 
pub fn ce_var(v: &TypeVarID) -> ConstraintExpr