The first argument of Checked, e.g. int if the left-hand side of the operator is Checked!int
The right-hand side type involved in the operator
Upon a correct comparison, returns the result of the comparison. Otherwise, the function terminates the application so it never returns.
Called automatically upon a comparison for equality. In case of a erroneous comparison (one that would make a signed negative value appear equal to an unsigned positive value), this hook issues assert(0) which terminates the application.