chalmers-lava2000-1.6.1: Hardware description EDSL

Safe HaskellNone
LanguageHaskell98

Lava.Verification

Documentation

data Option Source #

Instances
Eq Option Source # 
Instance details

Defined in Lava.Verification

Methods

(==) :: Option -> Option -> Bool #

(/=) :: Option -> Option -> Bool #

Show Option Source # 
Instance details

Defined in Lava.Verification

data ProofResult Source #

Instances
Eq ProofResult Source # 
Instance details

Defined in Lava.Verification

Show ProofResult Source # 
Instance details

Defined in Lava.Verification