Squeeze/compress element type of array

you can use type_compress from JDF.jl e.g.

using JDF

x = type_compress([1,2,3])
1 Like