transform transform_literal

schema s : t
instance i2 : s
instance i1 : s
transform h : i1 -> i2
----------------------------------
transform (literal : i1 -> i2 {}) : i1 -> i2
	
A literal transform, given as a morphism of instances constant on the schema. Hence, a target term for each source generator or labelled null. See All_Syntax for an example.

Appears in:

All_Syntax
Delta
FinanceColim1
FinanceColim2
PharmaColim1
PharmaColim2
Query
Sigma
TutorialTSP

Options:

always_reload
dont_validate_unsafe
num_threads
talg_reduction
timeout