proc `=copy`[T, Base](dest: var Condensate[T, Base]; src: Condensate[T, Base]) {.
    nodestroy.}

proc `=destroy`[T, Base](x: Condensate[T, Base]) {.nodestroy, ...raises: [],
    raises: [].}

proc `=dup`[T, Base](x: Condensate[T, Base]): Condensate[T, Base] {.nodestroy.}

proc `=sink`[T, Base](dest: var Condensate[T, Base]; src: Condensate[T, Base]) {.
    nodestroy.}

proc `=trace`[T, Base](x: var Condensate[T, Base]; env: pointer) {.nodestroy.}

proc `=wasMoved`[T, Base](x: var Condensate[T, Base])

proc condensate[T; Base, Tag](x: T; _: typedesc[Tagged[Base, Tag]]): Condensate[
    T, Tagged[Base, Tag]] {.inline, nodestroy.}

proc decondense[T; Base, Tag](x: Condensate[T, Tagged[Base, Tag]]): T {.inline,
    nodestroy.}

template condensateInline[T; Base, Tag](_: typedesc[T]; tag: Tag; base: Base): Condensate[
    T, Tagged[Base, Tag]]

template rawCondensate[T; Base, Tag](t: typedesc[
    Condensate[T, Tagged[Base, Tag]]]; tag: Tag; base: Base): t:type

template rawDecondense[T; Base, Tag; V](val: Condensate[T, Tagged[Base, Tag]];
                                        _: typedesc[V]): V

template rawTag[T; Base, Tag](val: Condensate[T, Tagged[Base, Tag]]): Tag