DisambiguateChoices.add_num_choice
("natural number",
(fun _ num _ -> LibraryObjects.build_nat (int_of_string num)));
-(* DisambiguateChoices.add_num_choice
+ DisambiguateChoices.add_num_choice
("Coq natural number",
(fun _ num _ -> HelmLibraryObjects.build_nat (int_of_string num)));
DisambiguateChoices.add_num_choice
HelmLibraryObjects.build_bin_pos num ]
else
assert false))
-*)