substanceeither
Substanceeither is a theoretical data construct used to model a value that embodies two exclusive states: an actual substance instance or an alternate representation of that substance, such as a substitution record or a witness. The term blends the concept of substance from ontology with the logical idea of "either," signaling a disjoint union of two possibilities.
In formal terms, SubstanceEither A is a sum type with two constructors: Substance carrying a value of
Common use cases include modeling processes where a substance is either confirmed as present or recorded as
Substanceeither is not a widely standardized term; it appears mostly in theoretical discussions, education examples, or