fact: Definition interp (α: assignment bool_algebra bool_varspec) (t: T) : bool := fromterm (ops bool_algebra) α bool_sort t.
imports: UniMath.MoreFoundations.Notations UniMath.MoreFoundations.Bool UniMath.Combinatorics.StandardFiniteSets UniMath.Combinatorics.MoreLists UniMath.Algebra.Universal.Algebras UniMath.Algebra.Universal.VTerms