Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface DeleteCounterexampleParams

Parameters for the deleteCounterexample operation.

Hierarchy

  • DeleteCounterexampleParams

Index

Properties

Properties

Optional headers

headers: OutgoingHttpHeaders

text

text: string

The text of a user input counterexample (for example, What are you wearing?).

workspaceId

workspaceId: string

Unique identifier of the workspace.

Generated using TypeDoc