SIZES_CONV : conv
STRUCTURE
SYNOPSIS
Evaluates dimindex, dimword and INT_MIN.
EXAMPLE
- SIZES_CONV ``dimword(:32)``
> val it = |- dimword (:32) = 4294967296 : thm
COMMENTS
Evaluations are stored and so will be slightly faster when repeated.
SEEALSO
HOL  Trindemossen-1