function Talalt ( s: STRING; c: CHARACTER; pos: POSITIVE ) return BOOLEAN is begin return ( s(pos) = c ); end Talalt;