def csv_head_ok

cswap-bend-cli@0.1.0.0 · setimp.bend:100

import Base

100def csv_head_ok(h: List<&2, String>) -> Bool:
101  match h:
102    case Con{a, Con{b, Nil{}}}:
103      String.eq(a, "key") && String.eq(b, "value")
104    case _:
105      False{}