Structs

Functions

  • Verify that the use of TypeVars is consistent with ctrl_typevar as the controlling type variable.
  • Checks that the input operands actually match the given format.
  • Check if this instruction is polymorphic, and verify its use of type variables.

Type Aliases