DebugProperties

reflect

Defined

Boundaries

debug

LightTypeTag

decls

Refinement

decompose

LightTypeTag LightTypeTagRef

decomposeUnion

LightTypeTagRef