Any way to access the Documentation Comment of a procedure?

[halloleo]

When I have a procedure like this
    
    
    proc solver:string =
      ## Solves all the problems of the world
      return 42
    
    
    Run

How can I access the Documentation Comment " _Solves all the problems of the 
world_ " in the code following the procedure. Looking for something like the 
`solver.__doc__` property in Python...

Thanks for any pointers!