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

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

Axiom Function_foo : M.IsFunction "macro_rules_designators::foo" foo.

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

Axiom Function_bar : M.IsFunction "macro_rules_designators::bar" bar.

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

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