s/Int/Nat in a comment

This commit is contained in:
Richard Feldman 2022-02-11 21:26:39 -05:00 committed by GitHub
parent e1cc4cbde6
commit 71f2444397
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -119,7 +119,7 @@ pub fn list_single<'a, 'ctx, 'env>(
)
}
/// List.repeat : elem, Int -> List elem
/// List.repeat : elem, Nat -> List elem
pub fn list_repeat<'a, 'ctx, 'env>(
env: &Env<'a, 'ctx, 'env>,
layout_ids: &mut LayoutIds<'a>,