| _ -> raise DisambiguateChoices.Invalid_choice
in
Cic.Appl [
- Cic.MutInd (HelmLibraryObjects.Logic_Type.eqt_URI, 0, []);
+ Cic.MutInd (HelmLibraryObjects.Logic.eq_URI, 0, []);
Cic.Implicit (Some `Type); t1; t2
]));
DisambiguateChoices.add_binary_op "and" "logical and"