pub fn mk_range(start: Expr, stop: Expr, step: Expr) -> Expr
Build Range.mk start stop step.
Range.mk start stop step