Searched defs:dataClause (Results 1 – 5 of 5) sorted by relevance
990 , dataClause = Nothing function
144 , dataClause = Nothing function
338 , dataClause = apply cl args function686 , dataClause = abstract tel cl function
498 , dataClause = Just cl function
2057 , dataClause :: (Maybe Clause) -- ^ This might be in an instantiated module. function