(message: string)
| 744 | } |
| 745 | |
| 746 | function absurd(message: string): LazyArbitrary<any> { |
| 747 | return () => { |
| 748 | throw new Error(message) |
| 749 | } |
| 750 | } |
| 751 | |
| 752 | function getContextConstraints(description: Description): ArbitraryGenerationContext["constraints"] { |
| 753 | switch (description._tag) { |
no outgoing calls
no test coverage detected