Data.Graph.Inductive.Query.TransClos
trc