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

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

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

Module main.
  (* StructTuple
    {
      name := "Structure";
      const_params := [];
      ty_params := [];
      fields := [ Ty.path "i32" ];
    } *)
End main.
