Skip to main content

kernel_size_ty

oxilean_std::parameterized_complexity::functions

Function kernel_size_ty 

Source 
pub fn kernel_size_ty() -> Expr
Expand description

KernelSize : Kernel P f → Nat → Nat The size of the kernel as a function of the parameter.