Module semantics 

Structs

ProbabilisticTruthValue

Probabilistic truth value for confidence links: the logic-model.probabilistic-truth model of src/data/foundation-models.json, one logic among the recorded models.

Probability

Fixed-point probability stored as basis points from 0 to 10_000.

Enums

TruthValue

Many-valued semantic truth value: the logic-model.belnap-four-valued model of src/data/foundation-models.json, one logic among the recorded models rather than a built-in universal logic.