Add ==
definition of ComposedOptic
and IndexLens
from Setfield
#147
Job | Run time |
---|---|
0s |
==
definition of ComposedOptic
and IndexLens
from Setfield
#147
Job | Run time |
---|---|
0s |