Css.css.wins: def of gralha-css-style@0.1.0.1
Import: import gralha-css-style@0.1.0.1/css.bend as Css
Lines 399-404 of gralha-css-style@0.1.0.1/css.bend: https://jend.leeeet.dev/read.txt?path=gralha-css-style@0.1.0.1/css.bend&start_line=399&end_line=404

import Base

def css.wins(a: CSSChoice, b: CSSChoice) -> Bool:
  CSSChoice{ak, av, ai, aw} = a
  CSSChoice{bk, bv, bi, bw} = b
  +astrong = ai
  +bstrong = bi
  (astrong && Bool.not(bstrong)) || (((astrong && bstrong) || (Bool.not(astrong) && Bool.not(bstrong))) && U32.is_ge(aw, bw))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ge
  https://jend.leeeet.dev/definition.txt?path=gralha-css-style@0.1.0.1/css.bend&name=CSSChoice