def frame.lead.num

bend-kit-http@0.38.2.0 · http.bend:1032

import bend-kit-http@0.38.2.0/http.bend as Http
import Base

1032def frame.lead.num(n: Maybe<&2, U32>, rest: String) -> Lead:
1033  match n:
1034    case None{}:
1035      LeadFinal{}
1036    case Some{s}:
1037      frame.lead.if(rest, frame.interim(s))

Uses (6)

Used by (1)