Hey, Suppose there is a variable in SML:
val v = 0xA How can I get a term which has the value of "v" in word32? I found mk_word in wordsSyntax, but I have no idea what the second parameter should be (I guess the first might be v)? Thanks. Lu ------------------------------------------------------------------------------ This SF.net email is sponsored by: High Quality Requirements in a Collaborative Environment. Download a free trial of Rational Requirements Composer Now! http://p.sf.net/sfu/www-ibm-com _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
