*)
let _ =
- let const s = Cic.Const (s, []) in
- let mutind s = Cic.MutInd (s, 0, []) in
-
DisambiguateChoices.add_num_choice
("natural number",
(fun _ num _ -> HelmLibraryObjects.build_nat (int_of_string num)));
(fun _ num _ ->
let num = int_of_string num in
if num = 0 then
- raise DisambiguateTypes.Invalid_choice
+ raise (DisambiguateTypes.Invalid_choice (lazy "0 is not a valid positive number"))
else
HelmLibraryObjects.build_bin_pos num));
DisambiguateChoices.add_num_choice