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 { } } +export function unannotate(v: Value): Value { + return Annotated.isAnnotated(v) ? v.item : v; +} + export function peel(v: Value): Value { return strip(v, 1); }