op ||

||

Defined in

• 5.2 Precedence and associativity — Precedence and associativity
• 5.3 Overloading and user-defined operators — Overloading built-in operators — op declarations in impl
• 1.6 Operators and delimiters — + - * / % ** +% -% % +| -| | & | ^ ~ << >> && || !
• 1.2 Statement termination — A statement is terminated by ; or by a line break.
• 4.2 data — A field: visibility?
• 5.1 General rules — Almost everything is an expression

Examples

pub(api) data User {
  pub(api) id: UserId
  pub(api) name: Name
  pub(api) email: Email?           @since(2)
  role: Role = Role.User
  createdAt: Time = now()
  invariant name != "admin" || role == Role.Admin
}

— 4.2 data

Related diagnostics

chained-comparison, not-callable, not-overloadable, operator-decl, range-not-iterable, invalid-char, unknown-field, not-assignable