val

val bindings are identical to those in SML.



Adam Chlipala 2005-02-22