(** register a new number choice *)
val add_num_choice: Cic.term codomain_item -> unit
+ (** register a new number choice *)
+val nadd_num_choice: NCic.term codomain_item -> unit
+
(** {2 Choices lookup}
* for user defined aliases *)
(** @param dsc description (1st component of codomain_item) *)
val lookup_num_by_dsc: string -> Cic.term codomain_item
+ (** @param dsc description (1st component of codomain_item) *)
+val nlookup_num_by_dsc: string -> NCic.term codomain_item
+
(** @param symbol symbol as per AST
* @param dsc description (1st component of codomain_item)
*)