LoKi dictionary editor interface
Implement a bespoke interface for configuring a dict
option of a LoKi tool
We know:
- which tools are LoKi tools
- which options are
dict
s
We also have metadata about LoKi functors.
Implement a bespoke interface for configuring a dict
option of a LoKi tool
We know:
dict
sWe also have metadata about LoKi functors.