Lines Matching defs:inf
183 val inf = IntInf.fromInt
184 val h = inf (uint_of_word htm)
185 val f = inf (uint_of_word ftm)
186 val d = inf (uint_of_word dtm)
187 val b = inf (uint_of_word btm)
211 val inf = Word64.fromLargeInt o Arbnum.toLargeInt
212 val v1 = inf (dest_word_literal v1tm)
213 val v2 = inf (dest_word_literal v2tm)
214 val v3 = inf (dest_word_literal v3tm)
215 val v4 = inf (dest_word_literal v4tm)