Trait FreshVars
epilog::var
pub trait FreshVars<V> { fn acquire(&self) -> V; }
fn acquire(&self) -> V
impl<V> FreshVars<Var<V>> for VarSource
fn acquire(&self) -> Var<V>