[
<
]
[
>
]
[ << ]
[
Up
]
[ >> ]
[
Top
]
[
Contents
]
[
Index
]
[
?
]
2.4.4 Conversion
818C9
#>$
( # → $ )
Creates string from the bint (decimal).
81C07
ID>$
( id/lam → $ )
Converts identifier into string.
This document was generated by
Carsten Dominik
on
May, 30 2005
using
texi2html