Direct scalar/discriminant compiler providers. Canonical query identities select result types; physical null/provenance checks remain actual operations.

def Miri.Input.CompilerScalarLeaves.boolLayout {C : Sort u_1} {S : Type} (p : CompilerProviders.Prepared) : C → EStateM Interpreter.StepError S Interpreter.LocalLayout

Equations

• Miri.Input.CompilerScalarLeaves.boolLayout p x✝ = Miri.Input.CompilerScalarLeaves.lift✝ (p.primitiveLayout "bool")

def Miri.Input.CompilerScalarLeaves.runtimeChecks {C : Sort u_1} {S : Type} (p : CompilerProviders.Prepared) : C → (kind : MIR.RuntimeChecks) → EStateM Interpreter.StepError S Bool

Equations

• Miri.Input.CompilerScalarLeaves.runtimeChecks p x✝ kind = Miri.Input.CompilerScalarLeaves.lift✝ (Miri.Input.CompilerIntrinsicFacts.runtimeChecks p.intrinsics kind)

def Miri.Input.CompilerScalarLeaves.scalar {S C : Type} (p : CompilerProviders.Prepared) : Interpreter.ExecutionScalar.Leaves S C

Equations

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

def Miri.Input.CompilerScalarLeaves.discriminant {C S : Type} (p : CompilerProviders.Prepared) (scalarMayBeNull : C → Memory.Scalar Memory.Provenance → Interpreter.RvalueM S Bool) : Interpreter.ExecutionLeaves.Discriminant S C

Equations

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