instance core
typeside t schema s : t instance i : s ---------------------------------- instance (core i) : s
TODO
Appears in:
Options:
always_reload
num_threads
talg_reduction
timeout