Comparative Entry

@cite{stassen-1985}

A typed record for the parameters of a comparative construction in a particular language: standard case, how that case is assigned, optional fixed-encoding role, the standard marker (e.g., than, より), and whether the construction has dedicated degree morphology.

structure Core.ComparativeEntry : Type

A language's comparative construction entry (@cite{stassen-1985}).

• standardCase : Case
• caseAssignment : CaseAssignment
• fixedEncoding : Option FixedCaseEncoding
• standardMarker : String
• hasDegreeMorphology : Bool

def Core.instReprComparativeEntry.repr : ComparativeEntry → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Core.instReprComparativeEntry : Repr ComparativeEntry

Equations

• Core.instReprComparativeEntry = { reprPrec := Core.instReprComparativeEntry.repr }

@[implicit_reducible]

instance Core.instBEqComparativeEntry : BEq ComparativeEntry

Equations

• Core.instBEqComparativeEntry = { beq := Core.instBEqComparativeEntry.beq }

def Core.instBEqComparativeEntry.beq : ComparativeEntry → ComparativeEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• Core.instBEqComparativeEntry.beq x✝¹ x✝ = false