instance empty
typeside t schema s : t ---------------------------------- instance (empty : s) : s
The instance with no generators or nulls.
Appears in:
All_Syntax
Options:
always_reload
num_threads
talg_reduction
timeout