Loading [Contrib]/a11y/accessibility-menu.js

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

Safe Haskell	None
Language	Haskell2010

Language.While.Test

Documentation

testCommandAnn :: Command String (PropAnn String ()) Source #

testPrecond :: WhileProp String Bool Source #

testPostcond :: WhileProp String Bool Source #

testConfig :: SMTConfig Source #

testVcs :: Maybe [WhileProp String Bool] Source #

test :: IO (Either (VerifierError (WhileVar String)) Bool) Source #

You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result