Function structural_param_ty 

pub fn structural_param_ty() -> Expr

StructuralParam : ParameterizedProblem → Type → Prop Structural parameterization by a graph parameter (e.g., treewidth, clique-width).