structure Phenomena.Imprecision.ImprecisionPhenomenaSummary : Type

Summary of phenomena covered in this module.

• homogeneityExamples : Nat

  Number of homogeneity examples

• nonMaximalityExamples : Nat

  Number of non-maximality examples

• numeralExamples : Nat

  Number of numeral imprecision examples

• formMeaningPairs : Nat

  Number of form/meaning pairs

• projectionPatterns : Nat

  Number of projection patterns

• inferencePreservationExamples : Nat

  Number of inference preservation examples

def Phenomena.Imprecision.instReprImprecisionPhenomenaSummary.repr : ImprecisionPhenomenaSummary → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

instance Phenomena.Imprecision.instReprImprecisionPhenomenaSummary : Repr ImprecisionPhenomenaSummary

Equations

• Phenomena.Imprecision.instReprImprecisionPhenomenaSummary = { reprPrec := Phenomena.Imprecision.instReprImprecisionPhenomenaSummary.repr }

def Phenomena.Imprecision.phenomenaSummary : ImprecisionPhenomenaSummary

Equations

• One or more equations did not get rendered due to their size.