Function arr_ext_convolution_ty 

pub fn arr_ext_convolution_ty() -> Expr

Array.convolution : {n : Nat} → Array Nat n → Array Nat n → Array Nat n

Discrete convolution of two length-n sequences. The FFT-based algorithm computes this in O(n log n) time versus the naive O(n²).