val unit : (Types.unit_t, unit) Types.converterval bool : (Types.bool_t, bool) Types.converterval uint : (Types.uint_t, int) Types.converterval sint : (Types.sint_t, int) Types.converterval smt_status : (Types.smt_status_t, Types.smt_status) Types.converterval term_constructor :
(Types.term_constructor_t, Types.term_constructor) Types.converterval yval_tag : (Types.yval_tag_t, Types.yval_tag) Types.converterval yices_gen_mode :
(Types.yices_gen_mode_t, Types.yices_gen_mode) Types.converterval error_code : (Types.error_code_t, Types.error_code) Types.converter