Data.Graph.Inductive.Query.TransClos

trc