PbEq constructor

PbEq(Map<AST, int> args, int k)

Implementation

PbEq(this.args, this.k);