dhall-toml-1.0.0: tasty/data/record-list-schema.dhall

{ records : List { a : Natural }
, nested :
    { records : List { a : Natural } }
}