let _ =
DisambiguateChoices.add_num_choice
("natural number",
+ (fun _ num _ -> LibraryObjects.build_nat (int_of_string num)));
+ DisambiguateChoices.add_num_choice
+ ("Coq natural number",
(fun _ num _ -> HelmLibraryObjects.build_nat (int_of_string num)));
DisambiguateChoices.add_num_choice
("real number",