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: Dec 23 2024 at 12:05 UTC