catlog::dbl::theory

Type Alias UstrDiscreteDblTheory

Source
pub type UstrDiscreteDblTheory = DiscreteDblTheory<UstrFinCategory>;
Expand description

A discrete double theory with keys of type Ustr.

Aliased Typeยง

struct UstrDiscreteDblTheory(/* private fields */);