{"ast_node_type":"struct","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
/// This struct brings together a constraint set and a (normal, not
/// reverse) constraint graph. It implements the graph traits and is