Assertion list
warp (primary) → HasA
Results from Ascent++: 1
warp → HasA → lcd and e-ink display interfaces 0.25