Zulip Chat Archive

Stream: Is there code for X?

Topic: Nat List given lower and upper limit


Asei Inoue (Jul 01 2024 at 14:19):

Given a lower limit l and an upper limit u, is there a function in the library that produces a list of values that are greater than or equal to l and less than or equal to u?

Yaël Dillies (Jul 01 2024 at 14:19):

... as a List?

Asei Inoue (Jul 01 2024 at 14:20):

Yes as List, or Std.range

Markus Himmel (Jul 01 2024 at 14:22):

For an Std.Range you can write [l:u+1]

Asei Inoue (Jul 01 2024 at 14:32):

how about List?

Asei Inoue (Jul 01 2024 at 14:32):

@Markus Himmel Thank you!

Yaël Dillies (Jul 01 2024 at 14:32):

docs#List.Ico


Last updated: May 02 2025 at 03:31 UTC