Function path_decomposition_ty 

pub fn path_decomposition_ty() -> Expr

PathDecomposition : Graph → Type A path decomposition: a path (sequence) of bags covering all vertices/edges.