schema empty

typeside t
----------------------------------
schema (empty : t) : t
	
Returns the empty schema on a type side.

Appears in:

All_Syntax
GraphSchColim

Options:

always_reload
num_threads
talg_reduction
timeout