[LangRef] formatting

GitOrigin-RevId: 085423282de993e2ad3bbc5f673edd61db6e19fe
1 file changed