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

Options:

always_reload
num_threads
talg_reduction
timeout