Searched refs:genTbl (Results 1 – 1 of 1) sorted by relevance
494 … $$ vcat (merge (map genTbl tbls) (map genAsgn assignments) (map genAssert asserts))568 genTbl :: ((Int, Kind, Kind), [SV]) -> (Int, Doc)569 …genTbl ((i, _, k), elts) = (location, static <+> text "const" <+> text (show k) <+> text ("table"… function