From 055b367764681d8b19ff0da2fdd5b9baf0e1fac7 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 24 Feb 2021 20:40:39 +0100
Subject: [PATCH] unannotate

---
 implementations/javascript/src/annotated.ts | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/implementations/javascript/src/annotated.ts b/implementations/javascript/src/annotated.ts
index b43b88d..b6479be 100644
--- a/implementations/javascript/src/annotated.ts
+++ b/implementations/javascript/src/annotated.ts
@@ -56,6 +56,10 @@ export class Annotated<T extends object = DefaultPointer> {
     }
 }
 
+export function unannotate<T extends object = DefaultPointer>(v: Value<T>): Value<T> {
+    return Annotated.isAnnotated<T>(v) ? v.item : v;
+}
+
 export function peel<T extends object = DefaultPointer>(v: Value<T>): Value<T> {
     return strip(v, 1);
 }