Variable isExists`Const`

isExists: (expr: ast.Expression) => expr is { exists: Exists } = ...

Type guard for EXISTS expressions

Type Declaration

- (expr: ast.Expression): expr is { exists: Exists }
- Parameters
  - expr: ast.Expression
  Returns expr is { exists: Exists }