Searched refs:eProverConfig (Results 1 – 1 of 1) sorted by relevance
167 , eProverConfig :: Either SBV.SBVProverConfig W4.W4ProverConfig function184 , eProverConfig = Left SBV.defaultProver function461 getProverConfig = eProverConfig <$> getRW920 do modifyRW_ (\rw -> rw{ eProverConfig = Right cfg })926 do modifyRW_ (\rw -> rw{ eProverConfig = Left cfg })