Function prop::fun::type_is_const

source · 
pub fn type_is_const<N: Nat>() -> IsConst<Type<N>>
Expand description

is_const(type(n)).