Да, я использую Raspberry Pi.Виновен!
Проблема была в PYTHONPATH или в моем случае, python или программа на python должны были работать в каталоге с загруженной библиотекой ms5837.
После перехода в каталог все функции появляются при использовании команды dir (ms5837).
Что меня смутило, так это то, что оператор import ms5837 работал, а затем объекты, которые должныпришли с этим государством не было.