Documentation

Miri.Input.CompilerShimSignatures

Exact lang-item identity query for C variadic void/character pointer compatibility. Missing facts are unresolved; spelling/size does not imply void.

source
def Miri.Input.CompilerShimSignatures.hooks {P S D MD Ptr B I : Type} (context : CompilerFacts.Context) (base : Interpreter.ShimSignatures.Hooks P S D MD Ptr B I) :
Interpreter.ShimSignatures.Hooks P S D MD Ptr B I
Equations
  • One or more equations did not get rendered due to their size.
Instances For