"ComputedDistrictCourt" (Interpreter Type)

A district court derived by computation.

Details

Allowed Forms

  • Any natural-language name of a district court, or a computation yielding one.

Restriction Specifications

Interpretation

Examples

Basic Examples  (2)

Interpret district courts:

Restrict to district courts in a class: