deftrait LogicalAnd as: ->
  # This Trait defines logical and operation and is used by the runtime everywhere it
  # encounters a `&&` operator.

  # Return the logical and of self and other.
  def logical_and other: Any
end