julia
doc: expand the `<:` doc string
#53001
Merged

Loading