Reference · Rules, generation and deductions
ProofTallytype
Cells proved by each kind of reasoning.
Import it
import type { ProofTally } from "@johnmorrisdotca/jirai";
Definition
type ProofTally = Record<ProofKind, number>;
Members
| Name | Type | Description |
|---|---|---|
count | number | |
overlap | number | |
total | number | |
enumeration | number |
Examples
import type { ProofTally } from "@johnmorrisdotca/jirai";
const value: ProofTally = {count:0,overlap:0,total:0,enumeration:0};
console.log(value);{ count: 0, overlap: 0, total: 0, enumeration: 0 }What it prints (run when this page was built)