Q-Particle Layer Type

@cite{dayal-2025}

Where in the left periphery a Q-particle resides.

Extracted from Phenomena.Questions.Typology so that Fragment files can reference the type without importing empirical data.

inductive Semantics.Questions.QParticleLayer : Type

Where in the left periphery a Q-particle resides.

• cp : QParticleLayer
• perspP : QParticleLayer
• sap : QParticleLayer
• polP : QParticleLayer

instance Semantics.Questions.instDecidableEqQParticleLayer : DecidableEq QParticleLayer

Equations

• Semantics.Questions.instDecidableEqQParticleLayer x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Semantics.Questions.instReprQParticleLayer.repr : QParticleLayer → Nat → Std.Format

Equations

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

instance Semantics.Questions.instReprQParticleLayer : Repr QParticleLayer

Equations

• Semantics.Questions.instReprQParticleLayer = { reprPrec := Semantics.Questions.instReprQParticleLayer.repr }

instance Semantics.Questions.instBEqQParticleLayer : BEq QParticleLayer

Equations

• Semantics.Questions.instBEqQParticleLayer = { beq := Semantics.Questions.instBEqQParticleLayer.beq }

def Semantics.Questions.instBEqQParticleLayer.beq : QParticleLayer → QParticleLayer → Bool

Equations

• Semantics.Questions.instBEqQParticleLayer.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)