public PatternDescrBuilder<ForallDescrBuilder<P>> pattern( String type ) {
        PatternDescrBuilder<ForallDescrBuilder<P>> pattern = new PatternDescrBuilderImpl<ForallDescrBuilder<P>>( this,
                                                                                                                 type );
        descr.addDescr( pattern.getDescr() );
        return pattern;
    }
public PatternDescrBuilder < ForallDescrBuilder < P > > pattern ( String type ) { PatternDescrBuilder < ForallDescrBuilder < P > > pattern = new PatternDescrBuilderImpl < ForallDescrBuilder < P > > ( this , type ) ; descr . addDescr ( pattern . getDescr ( ) ) ; return pattern ; }
{@inheritDoc}