Open danyaljj opened 8 years ago
Suppose you have:
val constraints: Iterable[FirstOrderConstraint] ..
And you wanna and them:
and
constraints.toSeq._forall(a => a)
Create an easier extension such that you just do:
constraints._forall
Suppose you have:
And you wanna
and
them:Create an easier extension such that you just do: