def css.wins
import gralha-css-style@0.1.0.1/css.bend as Cssimport Base
399def css.wins(a: CSSChoice, b: CSSChoice) -> Bool:
400 CSSChoice{ak, av, ai, aw} = a
401 CSSChoice{bk, bv, bi, bw} = b
402 +astrong = ai
403 +bstrong = bi
404 (astrong && Bool.not(bstrong)) || (((astrong && bstrong) || (Bool.not(astrong) && Bool.not(bstrong))) && U32.is_ge(aw, bw))