Skip to main content

bvar

Function bvar 

Source
pub fn bvar(idx: u32) -> Expr
Expand description

Shorthand: create a bound variable.