Bindings-sig.stx 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 module signatures/Bindings-sig imports signatures/Base-sig signature sorts Declarations constructors Declarations-Plhdr : Declarations signature constructors Let : list(Dec) * list(Exp) -> Exp Declarations : list(Dec) -> Declarations ×