instance dom_t

typeside t
schema s : t
instance i2 : s
instance i1 : s
transform h : i1 -> i2
----------------------------------
instance (dom_t h) : s
	
The domain of a transform / database homormorphism.

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout