creating a subtype of Positive where range is not known until runtime

Question

I am trying to create a graph package for a fixed sized complete graph but the size will not be known until runtime. I want to represent a vertex as a positive in the range 1..