Type alias Brand<K, T>

Brand<K, T>: K & {
    __brand: T;
}

We use branded types to discern type aliases.

An example for this is NodeId.

Type Parameters

  • K
  • T

Type declaration

  • __brand: T