fact: Definition bot : T := build_gterm' (●0 : names bool_signature).
imports: UniMath.MoreFoundations.Notations UniMath.MoreFoundations.Bool UniMath.Combinatorics.StandardFiniteSets UniMath.Combinatorics.MoreLists UniMath.Algebra.Universal.Algebras UniMath.Algebra.Universal.VTerms