A StrategoSignature is an AlgebraicSignature .

-- Main.MartinBravenboer - 25 Jan 2003