fact: Definition T_trans_clos := match compute_transitive_closure 10 gn_set with | Finished l => l | OutOfFuel => gn_set end.
imports: Equations(Equations) Examples.Fin Relations Utf8 Relations Wellfounded Setoid RelationClasses Morphisms Lia Bool List Arith String Coq(FunctionalExtensionality) ssreflect