Exists constructor

Exists(
  1. Map<Sym, Sort> args,
  2. Expr body, {
  3. int weight = 0,
  4. List<Pat> patterns = const [],
  5. List<Expr> noPatterns = const [],
  6. Sym? id,
  7. Sym? skolem,
})

Implementation

Exists(
  this.args,
  this.body, {
  this.weight = 0,
  this.patterns = const [],
  this.noPatterns = const [],
  this.id,
  this.skolem,
});