spire.laws.shadows
Represents a primitive value a: A along with its shadow s: S.
a: A
s: S
The shadow is a type S isomorphic to the primitive type A in the range where A is defined.
Represents a primitive value
a: A
along with its shadows: S
.The shadow is a type S isomorphic to the primitive type A in the range where A is defined.