POSITION_FIELD_NUMBER

Message ResolvedName

POS_FIELD_NUMBER

Synthetic

PathIO

io

PlatformFileIO

io

PlatformPathIO

io

Position

inputs schema

PositionLens

Position

path

File VirtualFile

pos

Synthetic SyntheticLens

position

Message MessageLens ResolvedName ResolvedNameLens Message ResolvedName Synthetic

productArity

Denotation

productElement

Denotation