Searched refs:TupleAccess (Results 1 – 4 of 4) sorted by relevance
1499 …hkElt i ek = let xi = SVal ek $ Right $ cache $ \_ -> newExpr st ek $ SBVApp (TupleAccess i n) [sx]1500 … yi = SVal ek $ Right $ cache $ \_ -> newExpr st ek $ SBVApp (TupleAccess i n) [sy]
202 … | TupleAccess Int Int -- Access element i of an n-tuple; second argument is n constructor523 show (TupleAccess i n) = "proj_" ++ show i ++ "_SBVTuple" ++ show n
86 newExpr st kElem (SBVApp (TupleAccess i lks) [sv])
890 …sh (SBVApp (TupleAccess i n) [tup]) = "(proj_" ++ show i ++ "_SBVTuple" ++ show n ++ " " ++ s…