Expand description

Dealing with trait goals, i.e. T: Trait<'a, U>.

Modules

Statics