open DisambiguateTypes
-(** {2 Choice registration interface} *)
+(** {2 Choice registration low-level interface} *)
(** to be raised when a choice is invalid due to some given parameter (e.g.
* wrong number of Cic.term arguments received) *)
(** register a new number choice *)
val add_num_choice: codomain_item -> unit
+(** {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
+
(** {2 Choices lookup}
* for user defined aliases *)