double-minus-ext:double::environment — ordinary constant
ENVIRONMENT
DOUBLE-EXT ( .. )();as:"double-minus-ext";
DOUBLE-EXT ( .. )(
)
( 1994 ) constant DOUBLE-EXT
an ordinary constant (no special usage info)