Index - _
| _insNodeDG | |
| 1 (Function) | HolLight.HolLight2DG |
| 2 (Function) | Isabelle.Isa2DG |
| _userState | Common.AnnoState |
| __typename | |
| 1 (Function) | PGIP.GraphQL.Result.NativeDocument |
| 2 (Function) | PGIP.GraphQL.Result.Library |
| 3 (Function) | PGIP.GraphQL.Result.Symbol |
| 4 (Function) | PGIP.GraphQL.Result.Conjecture |
| 5 (Function) | PGIP.GraphQL.Result.Axiom |