Stream: cranelift

Topic: predicates


view this post on Zulip Andrew Brown (May 26 2020 at 19:38):

Does anyone know if there is a way to OR predicates together, as in "use this encoding if either predicate A or predicate B is true"?


Last updated: Apr 07 2025 at 11:03 UTC