Update some docs to not reference Nat

This commit is contained in:
Richard Feldman 2024-01-22 23:46:09 -05:00
parent d909cc5961
commit 70a1def63b
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
3 changed files with 4 additions and 4 deletions

View file

@ -134,7 +134,7 @@ fn get_newtype_tag_and_var(
/// Unrolls types that are newtypes. These include
/// - Singleton tags with one type argument (e.g. `Container Str`)
/// - Records with exactly one field (e.g. `{ number: Nat }`)
/// - Records with exactly one field (e.g. `{ number: Dec }`)
///
/// This is important in synchronizing `Content`s with `Layout`s, since `Layout`s will
/// always unwrap newtypes and use the content of the underlying type.