-(** {2 Choice registration high-level interface} *)
-
- (** @param symbol
- * @param description
- * @param term cic application head *)
-val add_binary_op: string -> string -> Cic.term -> unit
-
- (** @param symbol
- * @param description
- * @param term cic application head *)
-val add_unary_op: string -> string -> Cic.term -> unit
-