Type Alias: CoherenceDerivedMatch

CoherenceDerivedMatch = "equivalent" | "derived_more_specific"

Defined in: src/types/coherence.ts:244

How a derived fact relates to the claim it establishes.