
./tests/tags/record.dhall,335
record.dhall1,1
/record.dhall1,1
let Config Config6,81
      { home home8,161
      , privateKey privateKey9,181
      , publicKey publicKey10,207
      , name name11,232
      , name : { firstName firstName11,241
               , secondName secondName12,275
let makeUser makeUser16,323
let configs configs30,804
