def covered
bend-lint-rules@0.2.0.0 · lib/linter/directives.bend:1035
import bend-lint-rules@0.2.0.0/lib/linter/directives.bend as Directives
import Base
import bend-lint-rules@0.2.0.0/lib/text/main.bend as Text
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
1035def covered(
1036 +coverings: List<&2, Covering>,
1037 unpaired: List<&2, Said>,
1038 saids: List<&2, Said>,
1039 +linted: Linted,
1040 +founds: List<&2, Lint.Found>
1041) -> Suppressed:
1042 done(
1043 Applied.go(
1044 founds,
1045 Text.positions(Linted.text(linted), Found.offsets(founds, [])),
1046 coverings,
1047 Applied{[], [], []}
1048 ),
1049 coverings,
1050 unpaired,
1051 saids,
1052 linted
1053 )