Type Alias KureDom 

pub type KureDom = _KureDom;

Main class for domains. Subclasses are direct products and direct sums.

Aliased Type

pub struct KureDom { /* private fields */ }