Type Alias Slice 

pub type Slice<K, T, const N: usize, R = bool, U = T> = fn(&K, &NativeOps<rustymath_core::::facts::Slice::{constant#0}>, [Arg<'_, T>; N], usize, &mut [MaybeUninit<U>]) -> R;

A slice form writes all n results at U from arguments at T. The caller reports errors from its verdict R: bool for real/integer forms, () for complex forms.