Arrays-sig.stx 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 module signatures/Arrays-sig imports signatures/Base-sig signature sorts constructors signature constructors Array : ID * Exp * Exp -> Exp ArrayTy : ID -> Type Subscript : LValue * Exp -> LValue ×