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

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

Axiom Function_is_divisible_by : M.IsFunction "functions::is_divisible_by" is_divisible_by.

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

Axiom Function_fizzbuzz : M.IsFunction "functions::fizzbuzz" fizzbuzz.

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

Axiom Function_fizzbuzz_to : M.IsFunction "functions::fizzbuzz_to" fizzbuzz_to.

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

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