Since the size is part of the type you can easily extract it with this 
completely untested piece of code that should hopefully work:
    
    
    proc size1[N](x: Object[N]): int = N
    
    
    Run

Reply via email to