{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"///"}]}
///    A: B: C: ... : X  where
/// graph such that there is a series of constraints
/// A contains a placeholder whose universe cannot be named by X,