Declaration Tree

Verification_Types Package spec
| Make_Verification_Status Function spec
| Make_Verification_Status Function spec
| Is_Success Function spec
| Is_Failure Function spec
| Contains_Code Function spec
| Get_Code Function spec