let prerr_term_type (t : Types.basic_type Types.term_structure) : unit = prerr_string (term_type_to_string t)