typeside typesideOf
typeside t schema s : t ---------------------------------- typeside (typesideOf s)
The typeside of a schema.
Appears in:
All_Syntax
Options:
always_reload
num_threads
talg_reduction
timeout