リファレンス · 規則・生成・推論

ProofTally型

リファレンスの説明と例は英語です。見出しと目次は日本語です。

インポート

import type { ProofTally } from "@johnmorrisdotca/jirai";

定義

type ProofTally = Record<ProofKind, number>;

メンバー

例

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 }

出力（このページを作ったときに実行した結果）

ソースを見るGitHub で編集@johnmorrisdotca/jirai 0.5.0 のソースから作成しました。

この日本語は、まだ日本語を母語とする方の確認を受けていません。訂正を歓迎します。