def Iso8601.per.eof
import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601import Base
import bend-time-lib@0.4.0.1/period.bend as Per
574def Iso8601.per.eof(
575 st: Iso8601.PerS, mode: Iso8601.PerM
576) -> Result<&2, &2, Iso8601.Error, Per.Period>:
577 match mode:
578 case PSeek{}:
579 Iso8601.per.valid(st)
580 case PNum{_}:
581 Fail{Invalid{}}