pub type FieldType_RwLock_inst<V, Pred> = Tracked<Instance<(Pred, CellId), PointsTo<V>, InternalPred<V, Pred>>>;
Aliased Type§
struct FieldType_RwLock_inst<V, Pred> { /* private fields */ }
pub type FieldType_RwLock_inst<V, Pred> = Tracked<Instance<(Pred, CellId), PointsTo<V>, InternalPred<V, Pred>>>;
struct FieldType_RwLock_inst<V, Pred> { /* private fields */ }