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

Module ops.
  Module index.
    (* Trait *)
    (* Empty module 'Index' *)
    
    (* Trait *)
    (* Empty module 'IndexMut' *)
  End index.
End ops.
