pub fn ret_strict_pos_var<A: Into<String>>(a: A) -> Expr
A value variable that is strictly positive (non-zero).