{
  "comments": {"blockComment": ["(*", "*)"]},
  "brackets": [["(", ")"], ["[", "]"]],
  "autoClosingPairs": [{"open": "(", "close": ")"}, {"open": "[", "close": "]"}],
  "surroundingPairs": [["(", ")"], ["[", "]"]],
  "indentationRules": {
    "increaseIndentPattern": "^\\s*(MODULE|DEFINITION\\s+MODULE|PROCEDURE|IF|ELSIF|ELSE|CASE|FOR|WHILE|REPEAT|LOOP|RECORD)\\b.*$",
    "decreaseIndentPattern": "^\\s*(END|ELSE|ELSIF|UNTIL)\\b.*$"
  }
}