Как бы я преобразовал: trait Foo[A <: Foo[A]] члену типа? То есть я хочу что-то вроде следующего: trait Foo { type A <: Foo {type A = ???} } но у меня возникают трудности, потому что имя A уже занято в уточнении типа....

В настоящее время я использую CVC4 для решения формул следующего вида: exists f1, ..., fn . P(f1, ..., fn) /\ forall (b1...bk) . Q(f1,...fn,b1,...bk) Здесь f1...fn — это функции от некоторого числа от Bool до Bool , а b1...bk —...