~/jendhub

def Iso8601.per.seek

bend-time-lib@0.4.0.1 · iso8601.bend:750

import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
import Base

750def Iso8601.per.seek(
751  off: Nat, st: Iso8601.PerS, h: Char, is_t: Bool, is_dig: Bool
752) -> Iso8601.PerC:
753  match is_t:
754    case True{}:
755      PerFail{Invalid{}}
756    case False{}:
757      Iso8601.per.seek2(off, st, h, is_dig)

Uses (7)

Used by (1)