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

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

Axiom Function_function : M.IsFunction "super_and_self::function" function.

Module cool.
  Parameter function : (list Value.t) -> (list Ty.t) -> (list Value.t) -> M.
  
  Axiom Function_function : M.IsFunction "super_and_self::cool::function" function.
End cool.

Module my.
  Parameter function : (list Value.t) -> (list Ty.t) -> (list Value.t) -> M.
  
  Axiom Function_function : M.IsFunction "super_and_self::my::function" function.
  
  Module cool.
    Parameter function : (list Value.t) -> (list Ty.t) -> (list Value.t) -> M.
    
    Axiom Function_function : M.IsFunction "super_and_self::my::cool::function" function.
  End cool.
  
  Parameter indirect_call : (list Value.t) -> (list Ty.t) -> (list Value.t) -> M.
  
  Axiom Function_indirect_call : M.IsFunction "super_and_self::my::indirect_call" indirect_call.
End my.

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

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