def position_or

bendvy-ecs-core@0.1.0.4 · relation_failure_runtime.bend:66

import Base
import event_runtime.bend as Ev

66def position_or(position: Maybe<Ev.Position>,id: U32,tick: Nat) -> Ev.Position:
67  match position:
68    case None{}: Ev.Position{id,0n,tick}
69    case Some{found}: found