Searched defs:SpliceDecl (Results 1 – 8 of 8) sorted by relevance
322 ### SpliceDecl subsection
244 data SpliceDecl p type245 = SpliceDecl -- Top level splice constructor
416 data SpliceDecl p type417 = SpliceDecl -- Top level splice constructor
334 data SpliceDecl p type335 = SpliceDecl -- Top level splice constructor
300 | SpliceDecl l (Exp l) constructor