Trait opendp::traits::FiniteBounds
source · pub trait FiniteBounds {
const MAX_FINITE: Self;
const MIN_FINITE: Self;
}
Expand description
Consts representing the maximum and minimum finite representable values.
Required Associated Constants§
sourceconst MAX_FINITE: Self
const MAX_FINITE: Self
§Proof Definition
Self::MAX_FINITE
is the largest permissible finite value that can be represented by Self
.
sourceconst MIN_FINITE: Self
const MIN_FINITE: Self
§Proof Definition
Self::MIN_FINITE
is the smallest permissible finite value that can be represented by Self
.
Object Safety§
This trait is not object safe.