verifiable-expressions-0.6.1: An intermediate language for Hoare logic style verification.

Index - Q

Query 
1 (Type/Class)Language.Verification.Core, Language.Verification
2 (Data Constructor)Language.Verification.Core
queryLanguage.Verification.Core, Language.Verification
QueryStateLanguage.Verification.Core