You can use the value-contract function, along with contract-stronger? to do this.
Sam On Wed, Feb 24, 2021, 6:03 PM David Storrs <[email protected]> wrote: > I have some macros that generate functions. For testing purposes, I'd > like to be able to ask the function "Do you have this contract > <contract>?" Is there a way to do that? I've been digging through the > Contracts section and googled for it but I'm not seeing one. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/CAE8gKodrApnAtr%3D5BpvSLxiKAAQJjO2bj7HkE_75-VLb25rNgA%40mail.gmail.com > <https://groups.google.com/d/msgid/racket-users/CAE8gKodrApnAtr%3D5BpvSLxiKAAQJjO2bj7HkE_75-VLb25rNgA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAK%3DHD%2BbrrfS9nRwQyw1Q05_6DHfQxECTU0Dvi8wtSTTs7AwEEw%40mail.gmail.com.
