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

(* StructTuple
  {
    name := "A";
    const_params := [];
    ty_params := [];
    fields := [];
  } *)

(* StructTuple
  {
    name := "Single";
    const_params := [];
    ty_params := [];
    fields := [ Ty.path "generics::A" ];
  } *)

(* StructTuple
  {
    name := "SingleGen";
    const_params := [];
    ty_params := [ "T" ];
    fields := [ T ];
  } *)

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

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