def Covering.next

bend-lint-rules@0.2.0.0 · lib/linter/directives.bend:720

import Base

720def Covering.next(d: Directive, found: Maybe<&2, U32>) -> Covering:
721  match found:
722    case Some{+l}:
723      Covering{d, l, l}
724    case None{}:
725      Covering{d, 1, 0}