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