Type Alias InvariantsFnTyped 

pub type InvariantsFnTyped<T> = fn(value: TypedPtrConst<'_, T>) -> bool;

Function to validate the invariants of a value. If it returns false, the value is considered invalid.