Improve types of mf.getElements #251
Description
The method is not typed.
We should make sure the the kind that is returned by this method is more restricted than the kind that results from parsing the MF.
{{ message }}
Improve types of