Annotation Interface OptionalCapability


@Documented @Retention(RUNTIME) @Target(METHOD) public @interface OptionalCapability
Marks a contract case of an optional capability, such as seal: it aborts by an assumption on a backend without the capability, and ContractsRan accepts it skipped.