def arrive

bend-visgraph@2.0.0.0 · visgraph.bend:272

import Base

272def arrive(st: Stack, nan: Bool, +y: F32, +i: U32, rights: Array<U32>, +visits: F32) -> Arrived:
273  match st nan:
274    case KNil{} True{}:
275      OpensWithNaN{rights, visits}
276    case KNil{} False{}:
277      PopsAll{rights, visits}
278    case KCon{+j, +kj, rest} True{}:
279      Bounded{(j + 1 : U32), kj, KCon{j, kj, rest}, rights, visits}
280    case KCon{+j, +kj, rest} False{}:
281      lpops(rest, F32.is_gt(y, kj), y, i, j, kj, rights, visits)