pub fn substring(str: Expr, pos: Expr, length: Expr) -> Expr
Returns the substring from string str starting at position pos with length `length.
str
pos