If by “extract” you mean “produce a data structure describing definitions I can use in my own programs”, then this is a quick summary, and some longer discussion here, that might be of use.
1 Like
If by “extract” you mean “produce a data structure describing definitions I can use in my own programs”, then this is a quick summary, and some longer discussion here, that might be of use.