Searched defs:GadtDecl (Results 1 – 3 of 3) sorted by relevance
565 data GadtDecl l type566 = GadtDecl l (Name l) constructor