Type Alias ConcreteDomain<Domain>

ConcreteDomain: Domain extends AbstractDomain<
    infer Concrete,
    unknown,
    unknown,
    unknown,
>
    ? Concrete
    : never

The type of the concrete domain of an abstract domain.

Type Parameters

  • Domain extends AbstractDomain<unknown, unknown, unknown, unknown>

    The abstract domain to get the concrete domain type for

Settings

Member Visibility