Module v1

Re-exports

pub use document::*;

pub use notebook::*;

Modules

analysis

api

cell

diagram_judgment

document

model

model_judgment

notebook

path

theory

Structs

Analysis

DiagramMorDecl

Declares a morphism of a diagram in a model.

DiagramObDecl

Declares an object of a diagram in a model.

Link

MorDecl

Declares a morphism in a model of a double theory.

ObDecl

Declares an object in a model of a double theory.

StableRef

Enums

DiagramJudgment

A judgment in the definition of a diagram in a model.

Modality

Modality available in a modal double theory.

ModelJudgment

Mor

A morphism in a model of a double theory.

MorType

Morphism type in a double theory.

NotebookCell

Ob

An object in a model of a double theory.

ObOp

Object operation in a double theory.

ObType

Object type in a double theory.

Type Aliases

Cell