fact: Definition disj : T → T → T := build_term' (●4 : names bool_signature).
imports: UniMath.MoreFoundations.Notations UniMath.MoreFoundations.Bool UniMath.Combinatorics.StandardFiniteSets UniMath.Combinatorics.MoreLists UniMath.Algebra.Universal.Algebras UniMath.Algebra.Universal.VTerms