Hello,I'd like to programatically access axclass data, such as axioms and super classes. It seems that access to the type axclass_info would do, and this is used in the public method "AxClass.print_axclasses", yet I can't figure out how to get at it.
I believe it's part of the Sign.sg. Is it possible? Thanks, Sean