transform frozen

typeside t
schema s2 : t
schema s1 : t
query q : s1 -> s2
----------------------------------
transform (frozen qlambda var:entity. term : entity_or_type) : frozen q entity_or_type -> frozen q entity
	
Given a term in context x:E |- e : t in the target of a query, returns a transform frozen t -> frozen E.

Appears in:

Compose

Options:

always_reload
num_threads
talg_reduction
timeout