pub fn hypergraph_ty() -> Expr
Hypergraph : Type → Type A hypergraph on vertex type V: a collection of hyperedges (subsets of V).