-open Disambiguate_types
-
- (* TODO move to CicSomething *)
-val term_of_uri: string -> Cic.term
-
-(** {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