Type Members

1.  type ![A] = (A) => Nothing
2.  type !![A] = (![A]) => Nothing
3.  type Contains[S, T] = <:<[!![S], T]
4.  trait Disjunction[T] extends AnyRef
5.  type Union[T] = AnyRef { type or[S] = org.emergentorder.union.package.Disjunction[T => Nothing with S => Nothing] }