[k2] add `file`, `is_file` builtins#1483

Merged

denisichh merged 18 commits intomasterfrom

dzubarev/k2-add-file-builtin

Jan 16, 2026

Commits on Dec 9, 2025

Commits on Dec 10, 2025

Commits on Dec 11, 2025

minor fix
denisichh
committed

Commits on Dec 12, 2025

fixes
denisichh
committed

Commits on Dec 15, 2025

Commits on Dec 16, 2025