implies method

Expr implies(
  1. Object other
)

Assert that if this expression is true other must also be true.

Implementation

Expr implies(Object other) =>
    BinaryOp(BinaryOpKind.implies, this, $(other)).declare();