~/jendhub

def later_i

bend-schema-lib@0.4.1.0 · core.bend:744

import bend-schema-lib@0.4.1.0/core.bend as Core
import Base

744def later_i(m: Maybe<&2, Err>) -> Maybe<&2, Err>:
745  match m:
746    case None{}:
747      None{}
748    case Some{Err{p, w}}:
749      Some{Err{later_i_path(p), w}}

Uses (3)

Used by (0)

No other definition uses this definition.