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