binstr2int Cyc_string2number2_ Cyc_string2number_ Cyc_string_append Cyc_string_byte_length Cyc_string_cmp Cyc_string_length Cyc_string_ref Cyc_string_set Cyc_substring dispatch_string_91append octstr2int

Cyc_string_cmp() object Cyc_string_cmp ( void *  data, object  str1, object  str2  )