It removes proliferation of repeated type parameters all over the place,
since we can now write Pfm instead of ParsedPfm<'all, 'kinds, Of, Stuff>.
It makes it possible to have code generic over all Pfms that can
specialize a ParsedPfm for different Flash types and whatnot with
minimal threading of type parameters around.
This will be particularly useful when we add the manifest manager, which needs to be able to deal with manifests of fixed type but different underlying storage.
This change has two benefits:
Pfm
instead ofParsedPfm<'all, 'kinds, Of, Stuff>
.This will be particularly useful when we add the manifest manager, which needs to be able to deal with manifests of fixed type but different underlying storage.