mapping mapping_compose

typeside t
schema s3 : t
schema s2 : t
schema s1 : t
mapping m23 : s2 -> s3
mapping m12 : s1 -> s2
----------------------------------
mapping [m12 ; m23] : s1 -> s3
	
Composes two mappings left to right.

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout