Module move_borrow_graph::references

source · [−]

Structs

RefID

Unique identifier for the reference

Constants

MAX_EDGE_SET_SIZE