

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

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

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


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