candid::types

Module subtype

source

Enums§

  • OptReport
    Error reporting style for the special opt rule

Functions§

  • equal
    Check if t1 and t2 are structurally equivalent, ignoring the variable naming differences. Note that this is more strict than t1 <: t2 and t2 <: t1, because of the special opt rule.
  • subtype
    Check if t1 <: t2
  • subtype_with_config
    Check if t1 <: t2, and report the special opt rule as Slience, Warning or Error.

Type Aliases§