pub fn get_var(
var: Identifier,
dis_warnings: &DisplayWarnings,
path: Option<&[(Interval, PathState)]>,
data: &mut Data<'_>,
msg_data: &mut MessageData,
sender: &Option<Sender<MSG>>,
) -> Result<Literal, ErrorInfo>pub fn get_var(
var: Identifier,
dis_warnings: &DisplayWarnings,
path: Option<&[(Interval, PathState)]>,
data: &mut Data<'_>,
msg_data: &mut MessageData,
sender: &Option<Sender<MSG>>,
) -> Result<Literal, ErrorInfo>