Variable isExists`Const`

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

Type guard for EXISTS expressions

Type Declaration

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