let opt_env = function None -> None | Some m -> Some m.env