just(new(decorated_value))

Semantics

new is the inverse operation of decorate. See Decorated vs Undecorated for an explanation on what Decorated means.

The following syntax will undecorate a decorated tree:

new ( <Expr> )

The Expr is expected to be decorated; the result is the undecorated form.