Function randomized_kernel_ty 

pub fn randomized_kernel_ty() -> Expr

RandomizedKernel : ParameterizedProblem → Nat → Prop A randomized kernelization algorithm (correct with high probability).