Searched refs:cut_alternative (Results 1 – 1 of 1) sorted by relevance
625 let cut_alternative = Goal::Cut { in choose_conditional() localVariable628 conditional.push(cut_alternative); in choose_conditional()