Type Alias InvariantsFn 

pub type InvariantsFn = unsafe fn(value: PtrConst) -> bool;

Function type for type invariant validation. Used by the #[facet(invariants = fn)] attribute.