Macro canrun::val [−][src]
macro_rules! val { ($value : expr) => { ... }; }
Expand description
Easy conversion of LVar<T>
and T
values into Val<T>
.
This simply wraps IntoVal
to be slightly more
convenient. Note that goal constructors typically do this conversion
automatically.
Example:
use canrun::{val, var, Val, LVar}; let x: LVar<i32> = var(); let x_val: Val<i32> = val!(x); let y: i32 = 1; let y_val: Val<i32> = val!(y);