schema except
typeside t schema s1 : t schema s2 : t ---------------------------------- schema (except s1 s2) : t
TODO
Appears in:
Options:
always_reload
num_threads
talg_reduction
timeout