catlog::dbl::discrete

Module theory

Source
Expand description

Discrete double theories.

Structs§

DiscreteDblTheory
A discrete double theory.

Type Aliases§

UstrDiscreteDblTheory
A discrete double theory with keys of type Ustr.