Skip to main content

v

dotloom_constraints::rules

Function v 

Source 
pub const fn v(id: VarId) -> Expr
Expand description

Convenience: variable expression.