proof index.ts

0% Statements 0/16

0% Branches 0/1

0% Functions 0/1

0% Lines 0/16

Press n or j to go to the next uncovered block, b, p or k for the previous block.


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17  
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
  export {
  PROOF_COLORS,
  PROOF_FONTS,
  SECTION_LABEL_STYLE,
  EMPTY_STATE_STYLE,
  getProofFontSizes,
} from './styles'
export type { ProofFontSizes } from './styles'
export { StepIndicator } from './StepIndicator'
export { CitationBadge, citationColor } from './CitationBadge'
export { FactRow } from './FactRow'
export { ProofInstruction } from './ProofInstruction'
export { StepCitation } from './StepCitation'
export { computeCitationOrdinals } from './citationOrdinals'
export { GuidedProofPanel } from './GuidedProofPanel'
export type { CompletionResult, CompletionSegment, ProofHighlightState } from './types'