Sourceval transitive_closure : ?reflexive:bool -> g -> g Sourceval add_transitive_closure : ?reflexive:bool -> g -> g Sourceval transitive_reduction : ?reflexive:bool -> g -> g Sourceval replace_by_transitive_reduction : ?reflexive:bool -> g -> g