{"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|not|'|;)\\b"},{"name":"keyword.other.alloy","match":"\\b(abstract|after|all|always|and|as|assert|before|but|check|disj|else|eventually|exactly|extends|fact|for|fun|historically|iden|iff|implies|in|Int|let|lone|module|no|none|once|one|open|or|pred|releases|run|set|sig|since|some|steps|sum|triggered|univ|until|var)\\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"}]}]}
