removewingman (Sep 19 2026 at 20:18): removewingman (Sep 19 2026 at 20:18):Had a look at it a second time, I had a whitespace behind the first Data and this detail, was the mistake.
(Header(a), Header(b)) => List.is_eq(a, b)
(Data (a), Data(b)) => List.is_eq(a, b)
removewingman has marked this topic as resolved.
Last updated: Sep 24 2026 at 15:59 UTC