Digit5

final case class Digit5[N1 <: Base, N2 <: Base, N3 <: Base, N4 <: Base, N5 <: Base](_1: Tag[N1], _2: Tag[N2], _3: Tag[N3], _4: Tag[N4], _5: Tag[N5]) extends Tag[Digit5[N1, N2, N3, N4, N5]] with NatTag
trait Product
trait Equals
trait NatTag
class Tag[Digit5[N1, N2, N3, N4, N5]]
class Object
trait Matchable
class Any

Value members

Inherited methods

def load(ptr: Ptr[Digit5[N1, N2, N3, N4, N5]]): Digit5[N1, N2, N3, N4, N5]
Inherited from:
Tag
def offset(idx: CSize): CSize
Inherited from:
Tag
Inherited from:
Product
def store(ptr: Ptr[Digit5[N1, N2, N3, N4, N5]], value: Digit5[N1, N2, N3, N4, N5]): Unit
Inherited from:
Tag
Inherited from:
NatTag