documented C<as> trait for parameters