Theia-Modula-2/extensions/modula2-language/snippets/modula2-definition.json

{
  "definition-module": {
    "prefix": "defmod",
    "body": ["DEFINITION MODULE ${1:ModuleName};", "", "EXPORT QUALIFIED ${2};", "", "END ${1:ModuleName}."],
    "description": "Create a Modula-2 definition module"
  },
  "procedure-definition": {
    "prefix": "procdef",
    "body": ["PROCEDURE ${1:ProcedureName}(${2});"],
    "description": "Create a procedure declaration"
  }
}