func trim_left(ls : List+String, n : Integer) -> List+String n := 1 when n = Undefined return slice(ls, [n+1..#ls])
trim_left(`"abc"') = `abc"' trim_left(`"abc"', 2) = `bc"'