Skip to content
This site is for a previous version of RelationalAI.

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

Was this doc helpful?