Function kernel_composition_ty 

pub fn kernel_composition_ty() -> Expr

KernelComposition : ParameterizedProblem → Prop An OR-composition for cross-composition lower bounds on kernelization.