Type Alias FnContracts 

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

A list of parsed requires contracts.

Aliased Type

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