rel slice(String s, Integer n, Integer n2, String s2) c::slice(s,n,n2,s2) rel substr(String s, Integer n, Integer n2, String s2) c::substr(s,n,n2,s2) //gets code of char (string must have size 1) rel code(String s, Integer n) c::code(s,n) rel get(String s,Integer x,String c) c::at() rel size(s,i) c::size() rel at(s,i,c) c::at() rel lessOrEqual(String S1, String S2) c::s_le(S1,S2) /* rel findIndex(String s1, String s2, Integer i, Integer pos) //if(get(s1, i, s2)) if(slice(s1, i, i+size(s2), s2)) i=pos else i