catlog::dbl::discrete

Module theory

Source
Expand description

Discrete double theories.

Structsยง

DiscreteDblTheory
A discrete double theory.