let prefix t n = if n > t.len then failwith "Substring.prefix" else { base = t.base; pos = t.pos; len = n; }