tardis/error

Manages error for Tardis. Used only during initialization, to identify what is failing.

Types

pub type Error {
  SketchError(sketch.SketchError)
  LustreError(lustre.Error)
}