instance delta

typeside t
schema s2 : t
schema s1 : t
mapping m : s2 -> s1
instance i : s1
----------------------------------
instance (delta m i) : s2
	
Performs a projection along a mapping.

Appears in:

All_Syntax
Delta
Demo
Inverse
LambdaConf
Sigma
Tutorial
TutorialTSP

Options:

always_reload
num_threads
talg_reduction
timeout