Update List.sublist to no longer use Nat

This commit is contained in:
Richard Feldman 2024-01-22 23:12:18 -05:00
parent 2cf7b5b5ca
commit a71188dc30
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
4 changed files with 29 additions and 12 deletions

View file

@ -274,7 +274,7 @@ pub(crate) fn list_swap<'a, 'ctx>(
)
}
/// List.sublist : List elem, { start : Nat, len : Nat } -> List elem
/// List.sublist : List elem, { start : U64, len : U64 } -> List elem
pub(crate) fn list_sublist<'a, 'ctx>(
env: &Env<'a, 'ctx, '_>,
layout_interner: &STLayoutInterner<'a>,