Type Alias ValueIsZero 

pub type ValueIsZero<T> = ValueEq<T, Zero<<T as Term>::Type>>;

Aliased Type

pub struct ValueIsZero<T>(/* private fields */);