Type Alias FieldType_RwLock_exc

Source
pub type FieldType_RwLock_exc<V, Pred> = AtomicBool<FieldType_RwLock_inst<V, Pred>, flag_exc<(Pred, CellId), PointsTo<V>, InternalPred<V, Pred>>, InvariantPredicate_auto_RwLock_exc>;

Aliased Typeยง

struct FieldType_RwLock_exc<V, Pred> { /* private fields */ }