[][src]Macro canrun::val

macro_rules! val {
    ($value:expr) => { ... };
}

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);