Class Common.Util.intprojection

class intprojection : int -> projection
intprojection n integer projection of size n