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