Searched refs:EitherAccess (Results 1 – 4 of 4) sorted by relevance
136 … leftVal = SBV $ SVal ka $ Right $ cache $ \_ -> newExpr st ka $ SBVApp (EitherAccess False) [abv]137 … rightVal = SBV $ SVal kb $ Right $ cache $ \_ -> newExpr st kb $ SBVApp (EitherAccess True) [abv]
205 | EitherAccess Bool -- Either branch access; False: left, True: right constructor532 show (EitherAccess False) = "get_left_SBVEither"533 show (EitherAccess True ) = "get_right_SBVEither"
1545 … let leftVal = SVal ka $ Right $ cache $ \_ -> newExpr st ka $ SBVApp (EitherAccess False) [abv]1546 … rightVal = SVal kb $ Right $ cache $ \_ -> newExpr st kb $ SBVApp (EitherAccess True) [abv]
896 … sh (SBVApp (EitherAccess False) [arg]) = "(get_left_SBVEither " ++ ssv arg ++ ")"897 … sh (SBVApp (EitherAccess True ) [arg]) = "(get_right_SBVEither " ++ ssv arg ++ ")"