RecordFlux icon indicating copy to clipboard operation
RecordFlux copied to clipboard

Published 20 hours ago • verified publisher icon AdaCore

Get number of elements of sequence

Open treiher opened this issue 2 years ago • 0 comments

Enable getting the number of elements of a sequence. In the specification, this could be realized by using a Length attribute on a sequence variable: Seq'Length.

Related to #51.

treiher avatar May 18 '22 16:05 treiher