transform delta

typeside t
schema s2 : t
schema s1 : t
mapping m : s2 -> s1
instance j : s1
instance i : s1
transform h : i -> j
----------------------------------
transform (delta m h) : delta m i -> delta m j
	
Computes the transform delta(F,I) to delta(F,J) from a transform I to J

Appears in:

All_Syntax
Delta

Options:

always_reload
num_threads
talg_reduction
timeout