let t_of_sexp sexp = match sexp with | Sexp.Atom s -> M.of_string s | Sexp.List _ -> failwithf "t_of_sexp %s" (Sexp.to_string sexp) ()