

------------------------------------------------------------------------------------------------------------------

-- This Alloy file is generated using Umple from singleton.ump

------------------------------------------------------------------------------------------------------------------


-- Defines a signature for class A
one sig A { }
