AutomatedReasoningPolicyDeleteTypeAnnotation

An annotation for removing a custom type from an Automated Reasoning policy.

Types

Link copied to clipboard
class Builder
Link copied to clipboard
object Companion

Properties

Link copied to clipboard

The name of the custom type to delete from the policy. The type must not be referenced by any variables or rules.

Functions

Link copied to clipboard
open operator override fun equals(other: Any?): Boolean
Link copied to clipboard
open override fun hashCode(): Int
Link copied to clipboard
open override fun toString(): String