[lean backend] Rename functions to not use the get_ prefix

Author: clementblaudeau

rust-engine/src/ast/identifiers.rs

@@ -93,7 +93,7 @@ mod global_id {
 
     impl GlobalId {
         /// Extracts the Crate info
-        pub fn get_crate(&self) -> String {
+        pub fn krate(&self) -> String {
             match self {
                 GlobalId::Concrete(concrete_id) | GlobalId::Projector(concrete_id) => {
                     concrete_id.def_id.def_id.krate.clone()

rust-engine/src/main.rs

@@ -8,9 +8,9 @@ use hax_types::engine_api::File;
 
 use pretty::{DocAllocator, DocBuilder};
 
-fn get_crate_name(items: &Vec<Item>) -> String {
+fn krate_name(items: &Vec<Item>) -> String {
     let head_item = items.get(0).unwrap();
-    head_item.ident.get_crate()
+    head_item.ident.krate()
 }
 
 fn main() {
@@ -29,7 +29,7 @@ fn main() {
         panic!()
     };
 
-    let krate = get_crate_name(&items);
+    let krate = krate_name(&items);
 
     // For now, the main function always calls the Lean backend
     let allocator = Allocator::new(Lean);