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: Nov 22 2024 at 17:03 UTC