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