Svg.filter.rendered: def of gralha-svg-render@0.1.0.1
Import: import gralha-svg-render@0.1.0.1/svg.bend as Svg
Lines 2913-2919 of gralha-svg-render@0.1.0.1/svg.bend: https://jend.leeeet.dev/read.txt?path=gralha-svg-render@0.1.0.1/svg.bend&start_line=2913&end_line=2919

import Base

# A rendered filter carries its clip as a plain factor; otherwise the clip
# coverage travels down as the limit.
def filter.rendered(effect: FilterEffect) -> Bool:
  match effect:
    case NoFilter{}: False{}
    case FilterSpec{region, units, viewport, attrs, primitives}: False{}
    case FilterImage{raster}: True{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=gralha-svg-render@0.1.0.1/svg.bend&name=FilterEffect