transform except_return

typeside t
schema s : t
instance i2 : s
instance i1 : s
----------------------------------
transform (except_return i1 i2) : except i1 i2 -> i1
	
Computes the transform (except i1 i2) -> i1.

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout