const eq::Var<T>& semantics