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

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

Axiom Function_add : M.IsFunction "unit_testing::add" add.

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

Axiom Function_bad_add : M.IsFunction "unit_testing::bad_add" bad_add.

Module tests.
  Parameter test_add : (list Value.t) -> (list Ty.t) -> (list Value.t) -> M.
  
  Axiom Function_test_add : M.IsFunction "unit_testing::tests::test_add'1" test_add.
  
  Parameter test_bad_add : (list Value.t) -> (list Ty.t) -> (list Value.t) -> M.
  
  Axiom Function_test_bad_add : M.IsFunction "unit_testing::tests::test_bad_add'1" test_bad_add.
End tests.
