transform distinct

typeside t
schema s2 : t
schema s1 : t
instance j : s1
instance i : s1
transform h : i -> j
----------------------------------
transform (distinct h) : distinct i -> distinct j
	
Computes the transform distinct i1 to distinct i2 from a transform from i1 to i2.

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout