ControlObservation

This is an ordinary candidate feature, supplied through @cluster.

Imports

import ControlReport;

Table of Contents

Types
- ControlObservation
Constructors
- ControlObservation (inductive)
  - snapshot

Types

ControlObservation

(inductive)

This is an ordinary candidate feature, supplied through @cluster.

inductive ControlObservation

Constructors

For each type in this module: inductive types list their declared constructors; opaque types list any local function whose name starts with mk and which returns a value of that type.

ControlObservation (inductive)

snapshot

constructor

ControlObservation