(databaseFileLens: DatabaseFileLens[UpperPB]).:=(a)
(databaseFileLens: DatabaseFileLens[UpperPB]).:=(a)
(databaseFileLens: DatabaseFileLens[UpperPB]).address
(databaseFileLens: DatabaseFileLens[UpperPB]).address
(databaseFileLens: DatabaseFileLens[UpperPB]).compose(other)
(databaseFileLens: DatabaseFileLens[UpperPB]).compose(other)
(databaseFileLens: DatabaseFileLens[UpperPB]).field(getter)(setter)
(databaseFileLens: DatabaseFileLens[UpperPB]).field(lens)
(databaseFileLens: DatabaseFileLens[UpperPB]).field(getter)(setter)
(databaseFileLens: DatabaseFileLens[UpperPB]).field(lens)
(databaseFileLens: DatabaseFileLens[UpperPB]).get(u)
(databaseFileLens: DatabaseFileLens[UpperPB]).get(u)
(databaseFileLens: DatabaseFileLens[UpperPB]).messages
(databaseFileLens: DatabaseFileLens[UpperPB]).messages
(databaseFileLens: DatabaseFileLens[UpperPB]).modify(f)
(databaseFileLens: DatabaseFileLens[UpperPB]).modify(f)
(databaseFileLens: DatabaseFileLens[UpperPB]).optionalAddress
(databaseFileLens: DatabaseFileLens[UpperPB]).optionalAddress
(databaseFileLens: DatabaseFileLens[UpperPB]).set(c)
(databaseFileLens: DatabaseFileLens[UpperPB]).set(c)
(databaseFileLens: DatabaseFileLens[UpperPB]).symbols
(databaseFileLens: DatabaseFileLens[UpperPB]).symbols
(databaseFileLens: DatabaseFileLens[UpperPB]).update(ms)
(databaseFileLens: DatabaseFileLens[UpperPB]).update(ms)