stl: solve deprecation warnings

Author: dr-orlovsky

commit_verify/src/bin/commit-stl.rs

@@ -13,7 +13,7 @@
 // software. If not, see <https://opensource.org/licenses/Apache-2.0>.
 
 use commit_verify::stl;
-use strict_types::typelib::parse_args;
+use strict_types::parse_args;
 
 fn main() {
     let lib = stl::commit_verify_stl();

commit_verify/src/stl.rs

@@ -19,15 +19,14 @@
 // See the License for the specific language governing permissions and
 // limitations under the License.
 
-use strict_types::typelib::{LibBuilder, TranslateError};
-use strict_types::TypeLib;
+use strict_types::{CompileError, LibBuilder, TypeLib};
 
 use crate::{mpc, LIB_NAME_COMMIT_VERIFY};
 
 pub const LIB_ID_COMMIT_VERIFY: &str =
-    "pasta_basic_broken_3a8aYXeMqSGKyeyGrcQHUn5mh995whDbERictXFSG1GG";
+    "sensor_correct_total_6RNoZhpeu95My9KqGM7j8BcY4tcNa8rwAjXbXUGteuf9";
 
-fn _commit_verify_stl() -> Result<TypeLib, TranslateError> {
+fn _commit_verify_stl() -> Result<TypeLib, CompileError> {
     LibBuilder::new(libname!(LIB_NAME_COMMIT_VERIFY), tiny_bset! {
         strict_types::stl::std_stl().to_dependency()
     })