and term = | Integer of string| Decimal of string * string| Fraction of string * string| Float of Model_parser.float_type| Apply of string * term list| Other of string| Array of array| Bitvector of string| Boolean of bool| Cvc4_Variable of variable| Function_Local_Variable of variable| Variable of variable| Ite of term * term * term * term| Record of string * (string * term) list| To_array of termtype correspondence_table = (bool * definition) Wstdlib.Mstr.tval add_element :
(string * definition) option ->
correspondence_table ->
bool ->
correspondence_tableval print_term : Format.formatter -> term -> unitval print_def : Format.formatter -> definition -> unit