let
cnst_mult_size n (sz:x_size) : x_size =
Aint
.cnst_mult n sz