Function canrun::var

pub fn var<T>() -> LVar<T>

Create a new logical var.

This is simply a shorthand for LVar::new().

Example:

use canrun::{var, LVar};

let x: LVar<i32> = var();