Attribute Macro Precond_ValidNum

Source
#[Precond_ValidNum]