instance distinct

typeside t
schema s : t
instance i : s
----------------------------------
instance (distinct i) : s
	
Relationalizes an instance; that is, equates all rows that are equivalent up to observation of attributes. Converts from bags to sets.

Appears in:

All_Syntax
FinanceColim1
FinanceColim2
LambdaConf

Options:

always_reload
num_threads
talg_reduction
timeout