Type Alias StructInvariants 

pub type StructInvariants<'tcx> = Vec<Property<'tcx>>;

A list of parsed struct invariants.

Aliased Type

pub struct StructInvariants<'tcx> { /* private fields */ }