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

Parameter value_LANGUAGE : Value.t.

Parameter value_THRESHOLD : Value.t.

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

Axiom Function_is_big : M.IsFunction "constants::is_big" is_big.

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

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