1mod constraint;
2
3pub use self::constraint::*;
4
5pub type Finite64 = Finite<f64>;
6
7pub type Real64 = NonNan<f64>;
8
9pub type Positive64 = GreaterThanEqualZero<Real64>;
10
11pub type PositiveInteger64 = GreaterThanEqualZero<Integer<Real64>>;
12
13pub type Natural64 = GreaterThanZero<Integer<Real64>>;
14
15pub type Rational64 = GreaterThanZero<Real64>;
16
17pub type Probability64 = GreaterThanEqualZero<LessThanEqualOne<Real64>>;
18
19pub type LogProbability64 = LessThanEqualZero<Real64>;
20
21pub type Alpha64 = GreaterThanEqualZero<LessThanOne<Real64>>;