Module util

Various utilities that are not strictly tied to the specific type theory.

Perhaps some of these could move to crate::zero.

Re-exports

pub use dtry::*;

pub use idx::*;

pub use pretty::*;

pub use row::*;

Modules

dtry

Directories.

idx

Indices.

pretty

Helper functions for writing pretty-printers.

row

Rows.