Options
All
  • Public
  • Public/Protected
  • All
Menu

External module "Proof"

Index

Classes

Interfaces

Type aliases

Type aliases

ResponseDataType

ResponseDataType: object

Type declaration

  • incorrectMoves: boolean[]
  • lastLineIsConclusion: boolean
  • nonDischargedAssumptions: number[]

Generated using TypeDoc