+(** {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
+