BBEditDocumentType CodelessLanguageModule BBLMLanguageDisplayName Alloy BBLMLanguageCode aloy BBLMColorsSyntax BBLMScansFunctions BBLMIsCaseSensitive BBLMKeywordList abstract all and as assert but check disj else exactly extends fact for fun iden if iff implies in Int int let lone module no none not one open or part pred run set show sig some sum then union univ BBLMSuffixMap BBLMLanguageSuffix .als Language Features Comment Pattern /\*[\s\S]*?\*/|//.*$|--.*$) )]]> Identifier and Keyword Character Class Function Pattern ^ [^{}\n\r]* (?P (?> (sig) | (fact) | (fun) | (pred) | (run) | (check) | (assert) ) \s+ [0-9A-Z_a-z]+ ) [^{}\n\r]* (?P (?> {[^{}]*} ) (?> \s*{[^{}]*} )? ) [^{}\n\r]*$ ) )]]> Skip Pattern (?P>comment) ) )]]>