(* Generated by coq-of-rust *)
Require Import CoqOfRust.CoqOfRust.

Parameter some_fn : (list Value.t) -> (list Ty.t) -> (list Value.t) -> M.

Axiom Function_some_fn : M.IsFunction "diverging_functions_no_info_in_return_type::some_fn" some_fn.

Parameter main : (list Value.t) -> (list Ty.t) -> (list Value.t) -> M.

Axiom Function_main : M.IsFunction "diverging_functions_no_info_in_return_type::main" main.
