Module inline_judge

Structs

• InlineJudge
  The interpretation of marker placement as it pertains to inlining and inline elision.
• SafetyChecker 🔒
  A check for the abstraction safety of a given instance.

Enums

• InlineJudgement
  Describes the type of inlining to perform

Type Aliases

• K