(** to be raised when a choice is invalid due to some given parameter (e.g.
* wrong number of Cic.term arguments received) *)
(** to be raised when a choice is invalid due to some given parameter (e.g.
* wrong number of Cic.term arguments received) *)