{"name":"text.alloy","scopeName":"source.alloy","patterns":[{"name":"keyword.control.alloy","match":"\\b(run|check)\\b"},{"name":"keyword.operator.alloy","match":"\\b(implies|or|and|let|else)\\b"},{"name":"keyword.other.alloy","match":"\\b(fact|abstract|sig|extends|some|one|lone|set|all|no|none|open|module|not|in|pred|assert|for|but exactly|disj)\\b"},{"name":"comment.line.double-slash.alloy","match":"\\/\\/.*"},{"name":"comment.block.empty.alloy","match":"\\/\\*(.)*\\*\\/|\\s\\*\\s(.)*\\n|\\*/|\\/\\*(.)*"},{"name":"storage.type.alloy","match":"\\b(fact|sig|module|pred|fun|enum)\\b"},{"name":"entity.name.function.predicate.alloy","begin":"pred \\w*\\[(.)*]{","end":"}","patterns":[{"include":"$self"}]}]}
