query query_compose

typeside t
schema s3 : t
schema s2 : t
schema s1 : t
query q12 : s1 -> s2
query q23 : s2 -> s3
----------------------------------
query [q12 ; q23] : s1 -> s3
	
Compose two queries, left to right.

Appears in:

All_Syntax
Compose

Options:

always_reload
dont_validate_unsafe
num_threads
query_remove_redundancy
talg_reduction
timeout