Update List.swap to no longer use Nat

This commit is contained in:
Richard Feldman 2024-01-22 22:17:34 -05:00
parent 27474d4ed8
commit 2cf7b5b5ca
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
4 changed files with 17 additions and 13 deletions

View file

@ -250,7 +250,7 @@ pub(crate) fn list_prepend<'a, 'ctx>(
)
}
/// List.swap : List elem, Nat, Nat -> List elem
/// List.swap : List elem, U64,U64 -> List elem
pub(crate) fn list_swap<'a, 'ctx>(
env: &Env<'a, 'ctx, '_>,
layout_interner: &STLayoutInterner<'a>,