a tree grammar representation of all inhabitants.
the inhabitation request target type.
an interpreter to turn inhabitants into scala objects.
a tree grammar representation of all inhabitants.
The (possibly infinite) enumeration of all (lazyly) interpreted inhabitants .
Indicates if this result is empty.
Indicates if this result contains infinitely many inhabitants.
an interpreter to turn inhabitants into scala objects.
Computes the number of results, or None if this result is infinite.
the inhabitation request target type.
The (possibly infinite) enumeration of all inhabitants .
Encapsulates an inhabitation result.
the native scala type of the requested inhabitants.
a tree grammar representation of all inhabitants.
the inhabitation request target type.
an interpreter to turn inhabitants into scala objects.