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

(* Trait *)
(* Empty module 'Person' *)

(* Trait *)
(* Empty module 'Student' *)

(* Trait *)
(* Empty module 'Programmer' *)

(* Trait *)
(* Empty module 'CompSciStudent' *)

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

Axiom Function_comp_sci_student_greeting :
  M.IsFunction "supertraits::comp_sci_student_greeting" comp_sci_student_greeting.

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

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