

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

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

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


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