~/jendhub

def ids.put

ezx@1.11.0.0 · src/git/git.bend:555

import ezx@1.11.0.0/src/git/git.bend as Git
import Base

555def ids.put(empty: Bool, ok: Bool, num: Bool, +part: String, rest: Maybe<&2, List<&2, Id>>) -> Maybe<&2, List<&2, Id>>:
556  match empty:
557    case True{}:
558      None{}
559    case False{}:
560      ids.ok(ok, num, part, rest)

Uses (6)

Used by (1)