Benchmark | |
1 (Type/Class) | Application.TermSearch.Type |
2 (Data Constructor) | Application.TermSearch.Type |
bmArguments | Application.TermSearch.Type |
bmGoalType | Application.TermSearch.Type |
bmName | Application.TermSearch.Type |
bmSize | Application.TermSearch.Type |
bmSolution | Application.TermSearch.Type |