^{submissionHeader fullSubmissionInfo (Just $ variantName variant)} $case tableEntryParams entry $of [] $of _ ^{Table.buildBootstrap paramsTable (map entityVal $ tableEntryParams entry)} $forall output <- outputs ^{viewOutput entry tests output}