<no name provided>

fun <no name provided>(): Unit

At provides a Lens for a structure S to focus in A at a given index I.

S - source of Lens

I - index that uniquely identifies the focus of the Lens

A - focus that is supposed to be unique for a given pair S and I.