Std.App.Health.countOf
fn
countOf: &Std.App.Health.Reading -> Str -> IntThis is a callable function.
What it does
A count the reading holds, or zero.
Declared comptime because a liveness judgement is, and a compile-time body
may only call compile-time functions — which is what makes that guarantee
transitive rather than a promise each function makes about itself.
Read the signature
- The text after the name is the type checked by Pudu.
- Read arrows from left to right: inputs come first, and the final type is returned.
- & borrows a value for this call instead of moving or copying it.
