What is the name for the <| operator here?  it's the first time I've seen it used.  Wanted to read up on it