let sexp_of_t t = Sexp.Atom (M.to_string t)