cairo_lang_sierra::extensions::modules::non_zero

Function nonzero_ty

source
pub fn nonzero_ty(
    context: &dyn SignatureSpecializationContext,
    ty: &ConcreteTypeId,
) -> Result<ConcreteTypeId, SpecializationError>
Expand description

Returns the type NonZero<T> for a given type T.