(* 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 "documentation_testing::add" add.

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

Axiom Function_div : M.IsFunction "documentation_testing::div" div.
