# _internal


fx.tc.elaborate._internal: cross-part elaboration helpers reachable from sibling parts via the self-fixpoint; not part of the stable consumer surface.

## `reifyDesc`

_reifyDesc: kernel-to-HOAS description rebuild — converts a description `Val` back to an HOAS description; counterpart to `reifyType` used internally by `extractInner` for `mu` decoding fallbacks._

```
reifyDesc : Val -> Hoas
```

Reverses `evalDesc`: walks a description Val via `descView` and
rebuilds the corresponding HOAS form (`H.descRet`, `H.descArg`,
`H.descRec`, `H.descPi`, `H.plus`). Recursion is in `self` so
descRec / plus sub-descriptions traverse uniformly.

Used by `reifyType`'s `VMu` fallback when no sugared shape
(Bool / Nat / List / Sum) matches the description: the result
is an anonymous `H.mu (reifyDesc D) H.tt` that `extractInner`'s
mu branch can then decode against an optional `_dtypeMeta`.