julia

65f24dac - doc: expand the `<:` doc string (#53001)

doc: expand the `<:` doc string (#53001) Clear up some things, state some expected properties and limitations, add cross-references, add more examples. Co-authored-by: Jameson Nash <vtjnash@gmail.com>