Types-sig.stx 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 module signatures/Types-sig imports signatures/Base-sig signature sorts constructors signature constructors TypeDec : ID * Type -> Dec Tid : ID -> Type ×