theory A
  namespace S
    type t
    type t
  end
end