instance except

typeside t
schema s : t
instance i2 : s
instance i1 : s
----------------------------------
instance (except i1 i2) : s
	
Perform a difference operation on two instances; this operation is adjoint to co-product.

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout