final case classStructuralType[L, V](toCofree: Cofree[[β$1$]Coproduct[[β$2$]TypeF[L, β$2$], Tagged, β$1$], V]) extends AnyVal with Product with Serializable
A measure annotated Type focused on structure over semantics.
L
the type of literals
V
the measure the type is annotated with
Linear Supertypes
Serializable, Serializable, Product, Equals, AnyVal, Any
A measure annotated Type focused on structure over semantics.
the type of literals
the measure the type is annotated with