Type Alias FieldType_RwLock_rc 

pub type FieldType_RwLock_rc<V, Pred: RwLockPredicate<V>> = AtomicUsize<FieldType_RwLock_inst<V, Pred>, flag_rc<(Pred, CellId), PointsTo<V>, InternalPred<V, Pred>>, InvariantPredicate_auto_RwLock_rc<V, Pred>>;

Aliased Type

pub struct FieldType_RwLock_rc<V, Pred: RwLockPredicate<V>> { /* private fields */ }