From 4e3e2611b10985adef1aa1d48ae8e6dcb06755d9 Mon Sep 17 00:00:00 2001
From: Ellen Wittingen <e.m.wittingen@student.utwente.nl>
Date: Wed, 13 Sep 2023 16:57:23 +0200
Subject: [PATCH] Implemented kernel recognition

---
 src/col/vct/col/ast/lang/CPPLambdaRefImpl.scala | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 src/col/vct/col/ast/lang/CPPLambdaRefImpl.scala

diff --git a/src/col/vct/col/ast/lang/CPPLambdaRefImpl.scala b/src/col/vct/col/ast/lang/CPPLambdaRefImpl.scala
new file mode 100644
index 0000000000..84b42ec961
--- /dev/null
+++ b/src/col/vct/col/ast/lang/CPPLambdaRefImpl.scala
@@ -0,0 +1,11 @@
+package vct.col.ast.lang
+
+import vct.col.ast.{CPPLambdaRef, TRef, Type}
+import vct.col.print.{Ctx, Doc, Text}
+import vct.col.resolve.ctx._
+
+trait CPPLambdaRefImpl[G] { this: CPPLambdaRef[G] =>
+  override lazy val t: Type[G] = TRef()
+
+  override def layout(implicit ctx: Ctx): Doc = Text("lambda_ref")
+}
\ No newline at end of file