pbGe function

Expr pbGe(
  1. Map<Expr, int> args,
  2. int k
)

Implementation

Expr pbGe(Map<Expr, int> args, int k) => currentContext.pbGe(args, k).declare();