{- * Predicates to be used with 'searchLink'
This predicate is true for links which are argument instantiations of a
parameterized specification with the given name -}
dglPredActualParam :: String -> LEdge DGLinkLab -> Maybe (LEdge DGLinkLab)
dglPredActualParam n edg@(_, _, DGLink { dgl_origin = DGLinkInstArg sid })
    | show sid == n = Just edg
    | otherwise = Nothing
dglPredActualParam :: String -> LEdge DGLinkLab -> Maybe (LEdge DGLinkLab)
dglPredActualParam n edg@(_, _, DGLink { dgl_origin = DGLinkInstArg sid })
    | show sid == n = Just edg
    | otherwise = Nothing
dglPredActualParam n edg@(_, _, DGLink { dgl_origin = DGLinkInstArg sid })
    | show sid == n = Just edg
    | otherwise = Nothing