decrel.reify.bifunctor.proof.Proof$.Many
trait Many[Rel <: Many[In, Coll, Out], -In, +E, +Out, +Coll <: ([T] =>> Iterable[T] & IterableOps[T, Coll, Coll[T]])]() extends Proof[Rel, In, E, Coll[Out]] Attributes
- Graph
- Supertypes
class
Proof[
Rel,
In,
E,
Coll[
Out]]
class Object
trait Matchable
class Any