Searched refs:Better_Choice (Results 51 – 65 of 65) sorted by relevance
123
6359 * binde.adb (Better_Choice): Always prefer Pure/Preelab.