schema s : t
instance i1 : s
instance i2 : 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.