Function assume_at

pub fn assume_at(x: impl IntoExpr, loc: impl Into<Location>) -> Result<Expr>

assume at loc.