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

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

Axiom Function_checked_division : M.IsFunction "option::checked_division" checked_division.

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

Axiom Function_try_division : M.IsFunction "option::try_division" try_division.

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

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