clash_type2.why 55 Bytes
Newer Older
1 2 3
theory A
  namespace S
    type t
Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
4
    type t
5 6
  end
end