transform transform_compose

typeside t
schema s : t
instance i3 : s
instance i2 : s
instance i1 : s
transform h12 : i1 -> i2
transform h23 : i2 -> i3
----------------------------------
transform [h12 ; h23] : i1 -> i3
	
Compose two morphism from left to right.

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout