I am using DLTK to present the outline of language (VDM). This might
be a silly question but my problem is that, I can't find the way to
show the return types of methods in the outline. Shouldn't this be
present in the MethodDeclaration?? Thanks for any help in advance.