{ "name": "dafnyx",
  "extend": "dafny",
  "extraKeywords": ["inductive"]
}