78 lines
2.9 KiB
Text
78 lines
2.9 KiB
Text
|
[
|
||
|
|
{"type":"KeywordDeclaration","value":"sig"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Name","value":"Node"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Operator","value":"{"},
|
||
|
|
{"type":"TextWhitespace","value":"\n "},
|
||
|
|
{"type":"Name","value":"edges"},
|
||
|
|
{"type":"Punctuation","value":":"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Keyword","value":"set"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Name","value":"Node"},
|
||
|
|
{"type":"TextWhitespace","value":"\n"},
|
||
|
|
{"type":"Operator","value":"}"},
|
||
|
|
{"type":"TextWhitespace","value":"\n\n"},
|
||
|
|
{"type":"Keyword","value":"fact"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"LiteralString","value":"\"Connected graph\""},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Operator","value":"{"},
|
||
|
|
{"type":"TextWhitespace","value":"\n "},
|
||
|
|
{"type":"Keyword","value":"some"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Name","value":"n"},
|
||
|
|
{"type":"Punctuation","value":":"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Name","value":"Node"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Operator","value":"|"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Name","value":"n"},
|
||
|
|
{"type":"Operator","value":".*"},
|
||
|
|
{"type":"Name","value":"edges"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Operator","value":"="},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Name","value":"Node"},
|
||
|
|
{"type":"TextWhitespace","value":"\n"},
|
||
|
|
{"type":"Operator","value":"}"},
|
||
|
|
{"type":"TextWhitespace","value":"\n\n"},
|
||
|
|
{"type":"Keyword","value":"fact"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"LiteralString","value":"\"No self edges\""},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Operator","value":"{"},
|
||
|
|
{"type":"TextWhitespace","value":"\n "},
|
||
|
|
{"type":"Keyword","value":"no"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"KeywordConstant","value":"iden"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Operator","value":"\u0026"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Name","value":"edges"},
|
||
|
|
{"type":"TextWhitespace","value":"\n"},
|
||
|
|
{"type":"Operator","value":"}"},
|
||
|
|
{"type":"TextWhitespace","value":"\n\n"},
|
||
|
|
{"type":"Keyword","value":"one"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"KeywordDeclaration","value":"sig"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Name","value":"Ball"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Operator","value":"{"},
|
||
|
|
{"type":"TextWhitespace","value":"\n "},
|
||
|
|
{"type":"CommentSingle","value":"-- note the var"},
|
||
|
|
{"type":"TextWhitespace","value":"\n "},
|
||
|
|
{"type":"Keyword","value":"var"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Name","value":"loc"},
|
||
|
|
{"type":"Punctuation","value":":"},
|
||
|
|
{"type":"TextWhitespace","value":" "},
|
||
|
|
{"type":"Name","value":"Node"},
|
||
|
|
{"type":"TextWhitespace","value":"\n"},
|
||
|
|
{"type":"Operator","value":"}"},
|
||
|
|
{"type":"TextWhitespace","value":"\n"}
|
||
|
|
]
|