let assignable_sizeof = function | F.Aloc( te , _ ) -> sizeof te | F.Arange( te , _ , {F.inf=Some l;F.sup=Some h} ) -> n_size (cardinal l h) te | F.Arange _ -> unsupported "infinite range for array"