[
  {"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"}
]