{
  "isError" : false,
  "request" : {
    "content" : "#!ek9\ndefines module com.example.names\n\n  defines function\n\n    isNew() as pure\n      ->\n        name as String\n        names as List of String\n      <- rtn as Boolean: not name in names\n\n//EOF\n",
    "mode" : "create-only",
    "path" : "Names.ek9"
  },
  "response" : {
    "conflicts" : [ ],
    "contentHash" : "sha256:109c174f2975113c5d175a4ad480666eecec1141e785453f2eda39fdc0dcbd7f",
    "edits" : [ {
      "boilerplateInjection" : {
        "eof" : "preserved",
        "module" : "preserved",
        "shebang" : "preserved"
      },
      "bytesWritten" : 194,
      "file" : "Names.ek9",
      "type" : "create"
    } ],
    "meta" : {
      "serverMs" : "<timing>"
    },
    "risk" : {
      "crossesModuleBoundary" : false,
      "estimatedSeverity" : "trivial",
      "fileCount" : 1,
      "lineCount" : 0,
      "touchesPublicApi" : false,
      "touchesTests" : false
    },
    "status" : "applied",
    "summary" : "Created Names.ek9 (194 bytes)",
    "workspaceHash" : "<workspace-hash>",
    "wouldBeDiagnostics" : [ ],
    "written" : true
  },
  "scenario" : "write_negated_membership_as_sent",
  "tool" : "write_file"
}
