Skip to content

Denote quantifiers

Denote quantifiers #94

Triggered via push September 5, 2023 21:28
Status Failure
Total duration 32s
Artifacts

check.yaml

on: push
Check types and formatting
22s
Check types and formatting
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Check types and formatting: src/index.ts#L29
Argument of type '(tree: Tree, scope?: Scope | undefined) => StrictTree' is not assignable to parameter of type '(value: Tree, index: number, array: Tree[]) => StrictTree'.
Check types and formatting: src/index.ts#L31
Argument of type '(tree: Tree, scope?: Scope | undefined) => StrictTree' is not assignable to parameter of type '(value: Tree, index: number, array: Tree[]) => StrictTree'.
Check types and formatting
Process completed with exit code 2.