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

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

Axiom Function_with_impls : M.IsFunction "impl_param::with_impls" with_impls.
