Library top.bar

Module Export bar0.
  Module Export bar1.
    Axiom b : Type.
  End bar1.
End bar0.