let
term_of_xsize ai : t_size =
Aint
.to_term ai