| AugSaveBackup (** Rename original with .augsave *)
| AugSaveNewFile (** Save changes to .augnew *)
| AugTypeCheck (** Type-check lenses *)
+ | AugNoStdinc
+ | AugSaveNoop
+ | AugNoLoad
(** Flags passed to the {!create} function. *)
type path = string