{"ast_node_type":"import","tokens":[{"end":62,"kind":"keyword","start":0,"text":"///"}]}
    /// you have an edge `write -> read`, because in that case
    /// This is used when computing transitive reachability because if
    /// `write` can reach everything that `read` can (and