- trigger: module scope: k description: simple module (K) mTime: 1516193657005 text: | module ${1:NAME} ${2} endmodule - trigger: moduleS description: module SYNTAX (K) scope: k mTime: 1516193649430 text: | module ${1:NAME}-SYNTAX ${2} endmodule - trigger: start description: basic skeleton (K) scope: k mTime: 1516193630248 text: | module ${1:NAME}-SYNTAX ${2} endmodule module ${1:NAME} imports ${1:NAME}-SYNTAX endmodule - trigger: imports description: module imports (K) scope: k mTime: 1516179851291 text: | imports ${1:NAME}-SYNTAX - trigger: syntax description: define syntax (K) scope: k mTime: 1516180358591 text: | syntax ${1:NAME} ::= ${2:PARAM} - trigger: configuration description: basic configuration (K) scope: k mTime: 1516185088541 text: | configuration ${1} - trigger: list description: basic list (K) scope: k mTime: 1516184757338 text: | List{${1:NAME},${2}}${3} - trigger: tag description: basic tag (K) scope: k mTime: 1516180587942 text: | <${1:tag}>${2:NAME} - trigger: rule description: rule (K) scope: k mTime: 1516193616344 text: | rule ${1:NAME} => ${2} - trigger: k description: k tag (K) scope: k mTime: 1516193713964 text: | ${1} - trigger: env description: env tag (K) scope: k mTime: 1516193748791 text: | ${1} - trigger: stream description: stream stdin/stdout (K) scope: k mTime: 1516193829637 text: | stream="std${1:in/out}"${2} - trigger: stack description: stack tag (K) scope: k mTime: 1516193889638 text: | ${1} - trigger: assignment description: "assignment |-> (K)" scope: k mTime: 1516194312018 text: | ${1} |-> ${2} - trigger: remove description: Send to trash (K) scope: k mTime: 1516194044083 text: | => .${1:)}${2} - trigger: assignment2 description: "assignment => (K)" scope: k mTime: 1516194289611 text: | ${1} => ${2}