let subst_to_string (subst: subst) : string =
  " { \n"
  ^ String.concat "\n"
    (map' binding_to_string subst)
  ^ " }"