-
David Bühler authored
Queries return an origin option instead of an origin. Domains not using the origin simply return None, and no longer need to define the origin type.
a2c983f1
Queries return an origin option instead of an origin. Domains not using the origin simply return None, and no longer need to define the origin type.