77 lines
2.9 KiB
Text
77 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"}
|
|
]
|