schema schemaOf

typeside t
schema s : t
instance i : s
----------------------------------
schema (schemaOf i) : typesideOf schemaOf i
	
Gets the schema of an instance.

Appears in:

All_Syntax
JDBCSQL
QuickSQL

Options:

always_reload
num_threads
talg_reduction
timeout