Strings-sig.stx 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 module signatures/Strings-sig imports signatures/Base-sig signature sorts StrConst = string StrChar = string constructors signature constructors String : StrConst -> Exp ×