def ask.eq

bolt@1.27.0.0 · src/lint/world.bend:49

import Base

49# whether two questions are the same question
50def ask.eq(aa: Ask, bb: Ask) -> Bool:
51  match aa bb:
52    case Entries{x1} Entries{y1}:
53      String.eq(x1, y1)
54    case Contents{x2} Contents{y2}:
55      String.eq(x2, y2)
56    case Entries{_x3} Contents{_y3}:
57      False{}
58    case Contents{_x4} Entries{_y4}:
59      False{}