RustFrontend.RustMir2Textual
val mk_module : Charon.UllbcAst.crate -> file_name:string -> Textuallib.Textual.Module.t