Issue Description
A particular bad example at https://noir-lang.org/docs/dev/noir/concepts/data_types/fields#to_be_bytes. It has u64 and "bits" when wanted Field and "bytes".
Project Context
any
Challenge: any
GitHub Repository: Noir lang monorepo
Environment
Aztec Version: any
Noir Version (if applicable): dev
Operating System: any
Steps to Reproduce
just read the docs
Expected Behavior
Field and "bytes" in the example.
Actual Behavior
It has u64 and "bits".
Code Snippet
// If applicable, add a minimal code snippet that demonstrates the issue
Error Messages
// If applicable, paste any error messages or logs here
Additional Context

Possible Solution
If you have any ideas on how to solve this, please share them here:
Impact on Development
it doesn't
Support Needed
none
Issue Description
A particular bad example at https://noir-lang.org/docs/dev/noir/concepts/data_types/fields#to_be_bytes. It has
u64and "bits" when wantedFieldand "bytes".Project Context
any
Challenge: any
GitHub Repository: Noir lang monorepo
Environment
Aztec Version: any
Noir Version (if applicable): dev
Operating System: any
Steps to Reproduce
just read the docs
Expected Behavior
Fieldand "bytes" in the example.Actual Behavior
It has
u64and "bits".Code Snippet
Error Messages
Additional Context
Possible Solution
If you have any ideas on how to solve this, please share them here:
Impact on Development
it doesn't
Support Needed
none