Lines Matching refs:with
6 % in compliance with the License. You may obtain a copy of the License
44 We list here the {\eclipse} event types together with the default
184 ('string', code size, compile time) with a string stream
187 (file name, code size, compile time) with a stream associated to a file
223 that associates the variables in \about{Goal} with their names
237 155 & A list associating the variable names with their values after the
345 with an appropriate exit tag, i.e.,
419 %then re-calls the culprit goal with the evaluated arguments.
423 %prints error message with relevant line, then fails.
428 %possible with size and time indication
432 %prints the error message with the file name.
437 %prints error message with relevant line, then succeeds.
468 %redo an overflowed word-sized-integer arithmetic operation with bignums.
518 %\bipref{setval/2}{../bips/kernel/storage/setval-2.html} with an atom as