WebDSL-Test-sig.stx 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 module signatures/WebDSL-Test-sig imports signatures/WebDSL-Action-sig signatures/WebDSL-Lexical-sig signatures/WebDSL-Core-sig signature sorts constructors signature constructors Test : Id * Block -> Definition UnnamedTest : Block -> Definition ×