unannotate

This commit is contained in:
Tony Garnock-Jones 2021-02-24 20:40:39 +01:00
parent a19a9d50c6
commit 055b367764
1 changed files with 4 additions and 0 deletions

View File

@ -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);
}