Restriction

Expr := Expr "<:" Expr
Expr := Expr ":>" Expr

Prefix join (or prefix restriction) R <: S is syntax for prefix_join[R, S] defined in the Standard Library.

Suffix join (or suffix restriction) R :> S is syntax for suffix_join[R, S] defined in the Standard Library.

Next: Override