instance frozen

typeside t
schema s2 : t
schema s1 : t
query q : s1 -> s2
----------------------------------
instance (frozen q an_entity_or_type) : s1
	
If Q : S to T is a query and t is a T -entity, then frozen Q t is the ``frozen'' or ``canonical'' S -instance for t in Q .

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout