catlog::dbl::discrete

Module model

Source
Expand description

Models of discrete double theories.

Structsยง

DiscreteDblModel
A finitely presented model of a discrete double theory.