Lines Matching full:sc_error
70 function sc_error() {737 if (!sc_isPair(l)) sc_error("sc_lastPair: pair expected");3087 sc_error( "format: illegal ~"3754 (sc_error("ADD-LEMMA did not like term: ", term));