ocaml_env.ml1 2 3 4 5 6 7 8 9 10 11 12 13type t = Default | User_defined of string let mk = function None | Some "" -> Default | Some s -> User_defined s let name = function Default -> "" | User_defined s -> s type env = t module Set = Set.Make (struct type t = env let compare = compare end)