Function dynamic_graph_ty 

pub fn dynamic_graph_ty() -> Expr

DynamicGraph : Nat → Type 0 — dynamic graph supporting edge insertions/deletions.