transform except

typeside t
schema s : t
instance i2 : s
instance i1 : s
instance i : s
transform h : i1 -> i2
----------------------------------
transform (except h i) : except i1 i -> except i2 i
	
Computes the transform (except i1 i) -> (except i2 i) from a transform i1 -> i2.

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout