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