Module spec 

Declaration table mapping tag names to their property specs.

This is the single source of truth for every safety tag rapx understands: its PropertyKind, the argument shapes it accepts (for variable-arity tags there is more than one form), its default ContractKind, and the assembly strategy used to build the final Property from raw syn::Expr arguments.

PropertyKind orthogonalisation lives on PropertyKind in types.rs.

Structs

PropertySpec 🔒

Enums

ArgKind 🔒

BuildKind 🔒

How a tag’s arguments are assembled into a Property.

Statics

SPECS 🔒

Functions

find_spec 🔒

kind_meaning 🔒

The canonical meaning template for a property kind (the first tag that maps to kind). Argument-dependent kinds override this at render time.

ps 🔒