tcmts.cli.test.received_files

file (ir: IR[], sourceText: string, spans?: Span[]) => DefRecord

A file definition as another codebase would send it.

testReceivedFilesAreChecked () => void

A file from another codebase is taken only as its IR says it is: its text, its links, its bytes.