Fuzion • Library Modules • base • container • Typed_Sequence • count

container.Typed_Sequence.count

count the number of elements in this Typed_Sequence.

This is redefined and implemented using `typed_foldf` to avoid creation of
boxed `Typed_Value`s.

Precondition

Inherited from property.countable.count

pre
  analysis: finite.is_yes_or_unknown

redefines:

Sequence.count
property.countable.count

0.099dev (GIT hash a771d489a03e9fe2dd6107e0afbc9f0ac6485df3)

last changed: 2026-10-23