External module "deductionFunctions/distribution/index"

Index

Functions

Functions

Const distribution

distribution(target: LineOfProof, sources: LineOfProof[]): boolean

- Defined in deductionFunctions/distribution/index.ts:39
Parameters
- target: LineOfProof
- sources: LineOfProof[]
Returns boolean

Const simpleDistribution

simpleDistribution(t: Formula, s: Formula): boolean

- Defined in deductionFunctions/distribution/index.ts:12
Parameters
- t: Formula
- s: Formula
Returns boolean

Generated using TypeDoc