Searched defs:defConstructors (Results 1 – 1 of 1) sorted by relevance
2305 defConstructors Datatype{dataCons = cs} = cs function2306 defConstructors Record{recConHead = c} = [conName c] function2307 defConstructors _ = __IMPOSSIBLE__ function