sig type return_type = Ok | Changed of string * string | Abort val atomic_edit : f:(string -> [ `Abort | `Ok ]) -> string -> Atomic_edit.return_type end