implies method

Expr implies(Object other)

Implementation

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