12 Pattern Variables/Structure Objects

If P is a pattern then P## is a structure object denoting the pattern P.

Similarly if R is an object, then according to the BETA book, a structure object corresponding to the descriptor/pattern used to instantiate R may be obtained using P._struc.

The expression R##, may also be used instead of P._struc.

BETA Language Modifications - Reference Manual
© 1999-2002 Mjølner Informatics
[Modified: Sunday October 22nd 2000 at 0:53]