rapx::analysis::opt::checking::encoding_checking::array_encoding

Function is_valid_index_edge

source 
fn is_valid_index_edge(graph: &Graph, edge: &GraphEdge) -> bool