Searched refs:Name_conflict_intervention (Results 1 – 2 of 2) sorted by relevance
180 type Name_conflict_intervention is type183 current_user_attitude : Name_conflict_intervention:= yes;189 action : out Name_conflict_intervention;
13 action : out Name_conflict_intervention;