-(** {2 Choice registration interface} *)
-
- (** to be raised when a choice is invalid due to some given parameter (e.g.
- * wrong number of Cic.term arguments received) *)
-exception Invalid_choice
-
- (** register a new symbol choice *)
-val add_symbol_choice: string -> codomain_item -> unit
-
- (** register a new number choice *)
-val add_num_choice: codomain_item -> unit
-