def goes_before

bend-ml-llama@0.2.1.0 · main.bend:1147

import Base

1147# whether a value v goes before the head of cs: the head is smaller (an equal one keeps its place, ahead of v)
1148def goes_before(cs: List<&2, Cand>, +v: F32) -> Bool:
1149  match cs:
1150    case Nil{}:
1151      True{}
1152    case Con{Cand{hv, hi}, t}:
1153      F32.is_lt(hv, v)