transform coeval

typeside t
schema s2 : t
schema s1 : t
query q : s2 -> s1
instance j : s1
instance i : s1
transform h : i -> j
----------------------------------
transform (coeval q h) : coeval q i -> coeval q j
	
Computes the transform from co-eval(Q,I) to co-eval(Q,J), given a transform from I to J.

Appears in:

All_Syntax
Compose
Query

Options:

allow_java_eqs_unsafe
always_reload
num_threads
require_consistency
talg_reduction
timeout