configuration.default_type

config {    page_size: Int {        default: "many"    }}

error: `"many"` can't be the default of `page_size` --> main.jadpo:3:18  |3 |         default: "many"  |                  ^^^^^^ the wrong kind of value  reason: `page_size` is `Int`, and this is a different kind of value; the default must be a literal of the setting's own type.  next: Write a `Int` value after `default:` (agent)  rule: configuration.default_type  help: https://jadpo.dev/docs/errors/configuration.default_typecheck failed: 1 error, 1 file