type Both
import stelliferous@0.0.2.0/proofs/storage_shape.bend as StorageShapeimport Base
6type Both<-Left: Data,-Right: Data> is Data:
7 Both{left: Left,right: Right}
Uses (0)
This definition uses no other definition.
import stelliferous@0.0.2.0/proofs/storage_shape.bend as StorageShapeimport Base
6type Both<-Left: Data,-Right: Data> is Data:
7 Both{left: Left,right: Right}
This definition uses no other definition.