Function
entry
(id: string, formula: unknown, variables: string[])
Source from the content-addressed store, hash-verified
| 287 | |
| 288 | describe('compile-time dedup (fixture corpus: an equality and its swap)', () => { |
| 289 | const FIXTURE_DECLS: Declarations = { |
| 290 | generator: 'fixture', |
| 291 | declarations: { |
| 292 | FooF: { signature: '(complex) -> complex' }, |
| 293 | BarG: { signature: '(complex) -> complex' }, |
| 294 | }, |
| 295 | existing: {}, |
| 296 | }; |
| 297 | |
| 298 | function entry(id: string, formula: unknown, variables: string[]): Entry { |
| 299 | return { |
| 300 | id, |
| 301 | formula, |
| 302 | variables, |
| 303 | assumptions: null, |
| 304 | class: 'identity', |
| 305 | subclass: null, |
| 306 | heads: [], |
| 307 | guardLevel: 'none', |
Tested by
no test coverage detected