def enters

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

import Base

1173# whether the head of xs enters the candidates: there is room, or it is above the smallest one (lo)
1174def enters(xs: List<&2, F32>, room: Bool, +lo: F32) -> Bool:
1175  match xs:
1176    case Nil{}:
1177      False{}
1178    case Con{+h, t}:
1179      Bool.or(room, F32.is_gt(h, lo))