[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

2.4.4 Conversion

21A2C #>$ ( # → $ )
Creates string from the bint (decimal).
063C9 ID>$ ( id/lam → $ )
Converts identifier into string.



This document was generated by Carsten Dominik on May, 30 2005 using texi2html