let
prerr_term (t :
Types
.atoms_type
Types
.term_structure) : unit =
prerr_string (term_to_string t)