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

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

Axiom Function_sum : M.IsFunction "pattern_in_function_parameters::sum" sum.

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

Axiom Function_steps_between :
  M.IsFunction "pattern_in_function_parameters::steps_between" steps_between.
