Sha256: 85353abd524eb626c1baf2bc190bcf9dcc6c0a5d868bf2b61448c30015ca92fa
Contents?: true
Size: 713 Bytes
Versions: 11
Compression:
Stored size: 713 Bytes
Contents
{"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"}]}]}
Version data entries
11 entries across 11 versions & 1 rubygems