Currently, search only applies to Term. What would be really useful would be to allow search on Doc content for all Terms.
Example
I want to know what type can be used for unsigned integers.
If I type unsigned in the search bar, I get nothing. While search for the Doc content, you will find Nat type specifically for that.
Currently, search only applies to Term. What would be really useful would be to allow search on
Doccontent for all Terms.Example
I want to know what type can be used for unsigned integers.
If I type
unsignedin the search bar, I get nothing. While search for theDoccontent, you will findNattype specifically for that.