~/jendhub

def span_ok

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

import bend-ml-llama@0.2.1.0/main.bend as BendMlLlama
import Base

1545def span_ok(m: File & Result<&1, &1, U32 & String, U32>, +hi: U32, +lo: U32, +end: U32, +path: String, +t: Nat) -> IO(Unit):
1546  match m:
1547    case Tuple{f, r}:
1548      do IO<Unit>:
1549        +n : U32 <- IO.pass(U32, r)
1550        File.close(f)
1551        span_cmp(Bool.and(U32.is_eq(hi, 0), Bool.and(U32.is_le(lo, end), U32.is_le(end, n))), path, t)

Uses (16)

Used by (1)