$profile-wordsize

$profile-wordsize — Profile tokens for “wordsize”

Parameter:
{}profile-wordsize
Defined in:
param.xsl
Used in:
param.xsl

Synopsis

  |$profile-wordsize := ''

Description

The tokens (separated by $profile-separator) specified for $profile-wordsize are matched against the values in the wordsize attribute. See Section 2.7, “Effectivity attributes and profiling”.