Module notebook_elab

Elaboration for frontend notebooks.

Structs

Elaborator

The current state of a notebook elaboration session.

LocatedError

An error along with its location (a cell in a notebook)

Enums

Error

An elaboration error