008 obligation escapes via interface

✓ Passing This code compiles and runs correctly.

Code

input.k

Actual

Opening file: data.txt
Closing file

Expected output

Opening file: data.txt
Closing file

Flows

flow ~my-subflow click a branch to expand · @labels scroll to their anchor
my-subflow

Imported Files

fs.kz

Test Configuration

MUST_RUN