Class Common.Util.intprojection

class intprojection : int -> projection

intprojection n integer projection of size n