Trait opendp::traits::operations::InherentNull
source · pub trait InherentNull: CheckNull {
const NULL: Self;
}
Expand description
Defines an example null value inherent to Self
.
Required Associated Constants§
sourceconst NULL: Self
const NULL: Self
Proof Definition
NULL is a constant such that Self::is_null(Self::NULL)
is true.