Needs type annotations for argument & return values.  Ditto for inspectFile() below -- every public API (at minimum) should have these docs.