Numbers-sig.stx 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 module signatures/Numbers-sig imports signatures/Base-sig signature sorts IntConst = string constructors signature constructors Int : IntConst -> Exp Uminus : Exp -> Exp Times : Exp * Exp -> Exp Divide : Exp * Exp -> Exp Plus : Exp * Exp -> Exp Minus : Exp * Exp -> Exp Eq : Exp * Exp -> Exp Neq : Exp * Exp -> Exp Gt : Exp * Exp -> Exp Lt : Exp * Exp -> Exp Geq : Exp * Exp -> Exp Leq : Exp * Exp -> Exp And : Exp * Exp -> Exp Or : Exp * Exp -> Exp ×