Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Seclib.Prim.Finding

Severity.toString — ⚪ definition

def · source

def Severity.toString : Severity → String
  | .critical => "critical"
  | .high     => "high"
  | .medium   => "medium"
  | .low      => "low"

— ⚪ definition

instance · source

instance : ToString Severity

Evidence — ⚪ definition

structure · source

structure Evidence where

Fix — ⚪ definition

structure · source

structure Fix where

Finding — ⚪ definition

structure · source

structure Finding where