def csv_body
import cswap-bend-cli@0.1.0.0/setimp.bend as Setimpimport Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/setload.bend as Setload
107def csv_body(ok: Bool, t: List<&2, List<&2, String>>) -> Result<&2, &2, String, Json.Json>:
108 match ok:
109 case True{}:
110 csv_rows(t, Setload.empty())
111 case False{}:
112 Fail{"a csv settings file starts with the header key,value"}