oxygen-meta
API
Generated with
oxygen-meta/oxygen/oxygen.meta/CaseExtractor/ZipLowPriority/LowPriority4

LowPriority4

oxygen.meta.CaseExtractor.ZipLowPriority.LowPriority4
trait LowPriority4

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait LowPriority3
trait LowPriority2
trait LowPriority1
object Zip

Members list

Givens

Givens

given zip_IdId_IdId[I1, I2, R1, R2]: Aux[I1, I2, (I1, I2), R1, R2, (R1, R2)]
Generated with