apg_morphism apg_morphism_literal

apg_typeside t
apg_instance G2 : s2
apg_instance G1 : s1
----------------------------------
apg_morphism (literal : G1 -> G2 {

labels
	
elements
	
}) : G1 -> G2
	
An APG morphism, consisting of a function taking labels to labels and a function taking elements to elements.

Appears in:

APG

Options:

always_reload
num_threads
talg_reduction
timeout