From ba5656512564fd37586be350fd008ae1fd8c483d Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
Date: Wed, 30 Nov 2022 10:55:07 +0100
Subject: [PATCH] Update shared/util/codeql/util/Option.qll

Co-authored-by: Erik Krogh Kristensen <erik-krogh@github.com>
---
 shared/util/codeql/util/Option.qll | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/shared/util/codeql/util/Option.qll b/shared/util/codeql/util/Option.qll
index 0114fe0a59b..f47d975d268 100644
--- a/shared/util/codeql/util/Option.qll
+++ b/shared/util/codeql/util/Option.qll
@@ -28,6 +28,9 @@ module Option<TypeWithToString T> {
 
     /** Gets the wrapped element, if any. */
     T asSome() { this = TSome(result) }
+    
+    /** Holds if this option is the singleton `None`. */
+    predicate isNone() { this = TNone() }
   }
 
   /** The singleton `None` element. */