Module presence 

Type-level presence markers and traits for field state tracking. Type-level markers for field presence states.

Structs

Absent

Marker indicating a field is absent (PhantomData).

Optional

Marker indicating a field may or may not be present (Option).

Present

Marker indicating a field is present with a concrete value.

Traits

InferPresence

Infers presence state from value type: T → Present, Option<T> → Optional, PhantomData<T> → Absent.

Presence

Trait for type-level presence markers with associated container types.