Struct PropertySpec 

pub(crate) struct PropertySpec {
    pub tag: &'static str,
    pub kind: PropertyKind,
    pub forms: &'static [&'static [ArgKind]],
    pub contract_kind: ContractKind,
    pub build: BuildKind,
    pub meaning: &'static str,
}

Fields

tag: &'static str

kind: PropertyKind

forms: &'static [&'static [ArgKind]]

Accepted argument shapes. For BuildKind::Targets the single entry is a marker and the tag accepts one or more Target args.

contract_kind: ContractKind

build: BuildKind

meaning: &'static str

Human-readable explanation template, with {0}, {1}, {2} placeholders bound to the rendered positional arguments. This keeps the display text co-located with the tag declaration instead of hardcoded in the renderer. A few argument-dependent kinds (InBound, Size, ValidNum, Alive, Allocated, NonOverlap) override this template structurally at render time.