pub fn kernel_composition_ty() -> Expr
KernelComposition : ParameterizedProblem → Prop An OR-composition for cross-composition lower bounds on kernelization.
KernelComposition : ParameterizedProblem → Prop